Automated compositional proofs for real-time systems

DOI10.1016/j.tcs.2007.02.003zbMath1116.68049OpenAlexW2121678371MaRDI QIDQ882449

Dino Mandrioli, Angelo Morzenti, Matteo Rossi, Carlo A. Furia

Publication date: 23 May 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.02.003

zbMATH Keywords

compositionalityformal verificationreal-timemodular systemsrely/guarantee

Mathematics Subject Classification ID

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

Uses Software

• CASL
• PVS
• Eiffel

Cites Work

• Assumption/guarantee specifications in linear-time temporal logic
• An abstract account of composition
• Corrigendum: Soundness and Completeness of an Axiom System for Program Verification
• Soundness and Completeness of an Axiom System for Program Verification
• Fundamental Approaches to Software Engineering
• CONCUR 2003 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated compositional proofs for real-time systems