On-the-Fly Techniques for Game-Based Software Model Checking
From MaRDI portal
Publication:5458322
DOI10.1007/978-3-540-78800-3_7zbMATH Open1134.68396OpenAlexW1564663187MaRDI QIDQ5458322FDOQ5458322
Publication date: 11 April 2008
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_7
Recommendations
- Software model checking based on game semantics and CSP
- Tools and Algorithms for the Construction and Analysis of Systems
- Model Checking Games
- Generalized abstraction-refinement for game-based CTL lifted model checking
- Model-checking iterated games
- Model-checking iterated games
- Variability abstraction and refinement for game-based lifted model checking of full CTL
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Title not available (Why is that?)
- Title not available (Why is that?)
- The regular-language semantics of second-order idealized ALGOL
- Static Analysis
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Abstract Interpretation, Logical Relations, and Kan Extensions
- Verification: Theory and Practice
- On-the-Fly Techniques for Game-Based Software Model Checking
Cited In (5)
Uses Software
This page was built for publication: On-the-Fly Techniques for Game-Based Software Model Checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458322)
