scientific article; zbMATH DE number 1759702

zbMath0989.68033MaRDI QIDQ4536712

Patrick Cousot

Publication date: 28 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

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

• CESAR

This page was built for publication: