scientific article; zbMATH DE number 1953032
From MaRDI portal
Publication:4414390
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Many-valued logic (03B50)
Related Items (15)
Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus ⋮ On the consistency, expressiveness, and precision of partial modeling formalisms ⋮ Generalized abstraction-refinement for game-based CTL lifted model checking ⋮ Test generation from event system abstractions to cover their states and transitions ⋮ On model checking multiple hybrid views ⋮ Comparing disjunctive modal transition systems with an one-selecting variant ⋮ 3-valued abstraction: More precision at less cost ⋮ EXPTIME-complete Decision Problems for Modal and Mixed Specifications ⋮ Model checking of linear-time properties in multi-valued systems ⋮ Complexity of Decision Problems for Mixed and Modal Specifications ⋮ TOrPEDO : witnessing model correctness with topological proofs ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems ⋮ Multi-valued Verification of Strategic Ability ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement
Uses Software
This page was built for publication:
