Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393zbMATH Open1126.68483OpenAlexW4299869287MaRDI QIDQ5308404FDOQ5308404

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

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

zbMATH Keywords

animationmodel checkinggamebranching time logicerror diagnosis

Mathematics Subject Classification ID

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

Cited In (4)

• Computer Aided Verification
• MetaGame
• Solving μ-Calculus Parity Games by Symbolic Planning
• Title not available (Why is that?)

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)