Sciweavers

Share
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
10 years 4 months ago
MetaGame: An Animation Tool for Model-Checking Games
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
Markus Müller-Olm, Haiseung Yoo
AUSAI
2009
Springer
10 years 5 months ago
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
Xiaowei Huang, Ron van der Meyden
books