Automata games for multiple-model checking

MaRDI QIDQ2852361zbMATH OpenFDO

Authors Altaf Hussain, Michael Huth

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002039

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Multi-valued model checking games
• Don't know for multi-valued systems
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1953032
• On model checking multiple hybrid views

Cited in

(8)

• scientific article; zbMATH DE number 1953032 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Complexity of Decision Problems for Mixed and Modal Specifications
• Small model property reflects in games and automata
• On model checking multiple hybrid views
• EXPTIME-complete decision problems for modal and mixed specifications
• Pushdown processes: Games and model-checking
• Automated verification of state sequence invariants in general game playing

This page was built for publication: Automata games for multiple-model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852361)