scientific article; zbMATH DE number 1903369

zbMath1010.68505MaRDI QIDQ4804914

Freddy Y. C. Mang, Arindam Chakrabarti, Marcin Jurdziński, Luca de Alfaro, Thomas A. Henzinger

Publication date: 1 May 2003

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

Modular strategies for recursive game graphs ⋮ Generalized interface automata with multicast synchronization ⋮ Highly dependable concurrent programming using design for verification ⋮ Can we communicate? Using dynamic logic to verify team automata ⋮ Partition refinement of component interaction automata ⋮ Verification of evolving software via component substitutability analysis ⋮ A Representation-Independent Behavioral Semantics for Object-Oriented Components ⋮ Formal verification of safety protocol in train control system

Uses Software

• CUDD

This page was built for publication: