scientific article; zbMATH DE number 1903363

zbMath1010.68503MaRDI QIDQ4804906

Michael McDougall, Zi-Jiang Yang, Rajeev Alur

Publication date: 1 May 2003

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

Nested-unit Petri nets ⋮ Verification of scope-dependent hierarchical state machines ⋮ Information flow analysis of scientific workflows ⋮ Towards Deriving Test Sequences by Model Checking

Uses Software

• SLAM
• Bandera

This page was built for publication: