Sciweavers

Share
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
10 years 3 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
books