On-the-Fly Techniques for Game-Based Software Model Checking
From MaRDI portal
Publication:5458322
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
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1670775 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 1982210 (Why is no real title available?)
- Abstract Interpretation, Logical Relations, and Kan Extensions
- Full abstraction for PCF
- On full abstraction for PCF: I, II and III
- On-the-Fly Techniques for Game-Based Software Model Checking
- Static Analysis
- The regular-language semantics of second-order idealized ALGOL
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification: Theory and Practice
Cited in
(7)- Leafy automata for higher-order concurrency
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Compositional Predicate Abstraction from Game Semantics
- Game semantics for access control
- On-the-Fly Techniques for Game-Based Software Model Checking
- Software model checking based on game semantics and CSP
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)
