scientific article; zbMATH DE number 1759702
From MaRDI portal
Publication:4536712
zbMath0989.68033MaRDI QIDQ4536712
Publication date: 28 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Abstraction in Fixpoint Logic ⋮ Lattice-based refinement in bounded model checking ⋮ Why does Astrée scale up? ⋮ Generalized abstraction-refinement for game-based CTL lifted model checking ⋮ Fixed point guided abstraction refinement for alternating automata ⋮ Calculational design of a regular model checker by abstract interpretation ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
