PlayGame: A platform for diagnostic games

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3114, Issue , 2004, Pages 492-495

  Tan, Li ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SEMANTICS; TEMPORAL LOGIC;

CODE SHARING; INTEGRATED TOOLS; MU-CALCULUS; TOOL USE; WINNING STRATEGY;

COMPUTER AIDED ANALYSIS;

EID: 35048885671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27813-9_44     Document Type: Article

References (8)

1. The Edinburgh Concurrency Workbench. The University of Edinburgh, 1999.
2. R. Cleaveland and S. Sims. The NCSU concurrency workbench. In Proceedings of CAV'96, volume 1102 of LNCS, 1996.
3. M. Leucker and T. Noll. Truth/SLC - A parallel verification platform for concurrent systems. In Proceedings of CAV'01, volume 2102 of LNCS, 2001.
4. P. Stevens and C. Stirling. Practical model-checking using games. In Proceedings of TACAS '98, volume 1384 of LNCS, 1998.
5. C. Stirling. Games and modal mu-calculus. In Proceedings of TACAS'96, volume 1055 of LNCS, 1996.
6. L. Tan. An abstract schema for equivalence games. In Proceedings of VMCAI'02, volume 2294 of LNCS, 2002.
7. L. Tan. Evidence-based Verification. PhD thesis, State University of New York at Stony Brook, May 2002.
8. L. Tan and R. Cleaveland. Evidence-based model checking. In Proceedings of CAV'02, volume 2404 of LNCS, 2002.