Publication:4414390
From MaRDI portal
zbMath1022.68075MaRDI QIDQ4414390
Radha Jagadeesan, Patrice Godefroid
Publication date: 25 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2575/25750206.htm
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B50: Many-valued logic
Related Items
Multi-valued Verification of Strategic Ability, EXPTIME-complete Decision Problems for Modal and Mixed Specifications, Complexity of Decision Problems for Mixed and Modal Specifications, A framework for compositional verification of multi-valued systems via abstraction-refinement, On the consistency, expressiveness, and precision of partial modeling formalisms, On model checking multiple hybrid views, Comparing disjunctive modal transition systems with an one-selecting variant, 3-valued abstraction: More precision at less cost, Generalized abstraction-refinement for game-based CTL lifted model checking, Test generation from event system abstractions to cover their states and transitions, Model checking of linear-time properties in multi-valued systems, When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus, A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
Uses Software