scientific article; zbMATH DE number 1903343

zbMath1010.68506MaRDI QIDQ4804884

Patrick Cousot, Radhia Cousot

Publication date: 1 May 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040037.htm

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 (5)

Unnamed Item ⋮ Combining Predicate Abstraction with Fixpoint Approximations ⋮ Smaller Abstractions for ∀CTL* without Next ⋮ Unnamed Item ⋮ Design and Verification of Fault-Tolerant Components

This page was built for publication: