Model Checking Software

DOI10.1007/B96721MaRDI QIDQ5308384zbMATH OpenOpenAlexFDO

Authors Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96721

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1905116
• Formal Methods for the Design of Real-Time Systems
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1696448
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings

Cited in

(2)

• scientific article; zbMATH DE number 1905116 (Why is no real title available?)
• Formal Methods for the Design of Real-Time Systems

Describes a project that uses

Uses Software

• IF-2.0

This page was built for publication: Model Checking Software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308384)