scientific article; zbMATH DE number 1903350
From MaRDI portal
Publication:4804892
zbMath1010.68083MaRDI QIDQ4804892
Radha Jagadeesan, Patrice Godefroid
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040137.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Abstraction and Abstraction Refinement ⋮ When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus ⋮ Data structures for symbolic multi-valued model-checking ⋮ Model checking computation tree logic over finite lattices ⋮ Multi-valued model checking games ⋮ Improved model checking of hierarchical systems ⋮ Latticed Simulation Relations and Games ⋮ On model checking multiple hybrid views ⋮ An abstraction-refinement framework for trigger querying ⋮ 3-valued abstraction: More precision at less cost ⋮ Compositional verification and 3-valued abstractions join forces ⋮ A local approach for temporal model checking of Java bytecode ⋮ Smaller Abstractions for ∀CTL* without Next ⋮ Better Under-Approximation of Programs by Hiding Variables ⋮ Approximate verification of strategic abilities under imperfect information ⋮ Multi-valued Verification of Strategic Ability ⋮ Refinement of Kripke Models for Dynamics ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement
Uses Software
This page was built for publication:
