Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308404zbMATH OpenOpenAlexFDO

Authors Markus Müller-Olm, Haiseung Yoo

Publication date 28 September 2007

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

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

zbMATH Keywords

animationmodel checkinggamebranching time logicerror diagnosis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automata games for multiple-model checking
• An application of model checking games to abstract argumentation
• On-the-Fly Techniques for Game-Based Software Model Checking
• Automated game analysis via probabilistic model checking: a case study
• Model-checking iterated games
• Model-checking iterated games
• scientific article; zbMATH DE number 1453154
• Software model checking based on game semantics and CSP

Cited in

(4)

• Computer Aided Verification
• MetaGame
• Solving μ-Calculus Parity Games by Symbolic Planning
• scientific article; zbMATH DE number 2086507 (Why is no real title available?)

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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