Game-theoretic simulation checking tool

DOI10.1134/S0361768811040013zbMATH Open1242.68154MaRDI QIDQ764005FDOQ764005

P. E. Bulychev

Publication date: 12 March 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

model checkingspecificationtemporal logicprogram correctnessKripke structurelabeled transition systemssimulation checking game-theoretic approach

Mathematics Subject Classification ID

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)

• Equivalence checking 40 years after: a review of bisimulation tools

Uses Software

• SIGREF
• SPIN
• NuSMV
• CUDD
• Concurrency Workbench
• PyCUDD

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)