We introduce on-the-fly composition, symbolic modelling and lazy iterated approximation refinement for game-semantic models. We present Mage, an experimental model checker implementing this new technology. We discuss several typical examples and compare Mage with Blast and GameChecker, which are the state-of-the-art tools in on-the-fly software model checking, and game-based model checking. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bakewell, A., & Ghica, D. R. (2008). On-the-fly techniques for game-based software model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4963 LNCS, pp. 78–92). https://doi.org/10.1007/978-3-540-78800-3_7
Mendeley helps you to discover research relevant for your work.