Computer Aided Verification

DOI10.1007/b11831zbMath1278.03054OpenAlexW1571340194MaRDI QIDQ5900671

Salvatore La Torre, P. Madhusudan, Rajeev Alur

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11831

Mathematics Subject Classification ID

Games involving graphs (91A43) Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (5)

Modular strategies for recursive game graphs ⋮ Automata-theoretic decision of timed games ⋮ Verification of scope-dependent hierarchical state machines ⋮ Visibly pushdown modular games ⋮ An Automata-Theoretic Approach to Infinite-State Systems

Uses Software

• SLAM
• MOPS

This page was built for publication: Computer Aided Verification