scientific article; zbMATH DE number 1903353

zbMath1010.68501MaRDI QIDQ4804895

Cormac Flanagan, Sanjit A. Seshia, Shaz Qadeer

Publication date: 1 May 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040180.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 (3)

Optimistic synchronization-based state-space reduction ⋮ LCTD: test-guided proofs for C programs on LLVM ⋮ Modular verification of multithreaded programs

Uses Software

• ESC/Java
• Mercator

This page was built for publication: