Automatically verifying an object-oriented specification of the Steam-Boiler system

DOI10.1016/S0167-6423(02)00092-8MaRDI QIDQ1870861zbMATH OpenOpenAlexFDO

Authors Paulo J. F. Carreira, Miguel E. F. Costa

Publication date 14 May 2003

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(02)00092-8

zbMATH Keywords

model-checkingcode generationautomatic verificationLOTOSobject-oriented systemssteam-boiler

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal verification of object-oriented graph grammars specifications
• Modular specification and verification of object-oriented programs
• scientific article; zbMATH DE number 1860624
• Formal verification of specification models
• scientific article; zbMATH DE number 1670753

Cited in

(1)

• scientific article; zbMATH DE number 1670753 (Why is no real title available?)

This page was built for publication: Automatically verifying an object-oriented specification of the Steam-Boiler system

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