Game-theoretic simulation checking tool
DOI10.1134/S0361768811040013zbMATH Open1242.68154MaRDI QIDQ764005FDOQ764005
Publication date: 12 March 2012
Published in: Programming and Computer Software (Search for Journal in Brave)
model checkingspecificationtemporal logicprogram correctnessKripke structurelabeled transition systemssimulation checking game-theoretic approach
Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- NuSMV: A new symbolic model checker
- Sigref – A Symbolic Bisimulation Tool Box
- Graph-Based Algorithms for Boolean Function Manipulation
- Characterizing finite Kripke structures in propositional temporal logic
- Counterexample-guided abstraction refinement for symbolic model checking
- A lattice-theoretical fixpoint theorem and its applications
- The temporal semantics of concurrent programs
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Branching time and abstraction in bisimulation semantics
- An implementation of an efficient algorithm for bisimulation equivalence
- Three logics for branching bisimulation
- Fair simulation
- Model checking and boolean graphs
- An invariant-based approach to the verification of asynchronous parameterized networks
- Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
- Computing Stuttering Simulations
- Simulation-based minimization
- Perspectives of System Informatics
Cited In (1)
Uses Software
This page was built for publication: Game-theoretic simulation checking tool
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764005)