Automated compositional proofs for real-time systems
From MaRDI portal
Publication:882449
DOI10.1016/j.tcs.2007.02.003zbMath1116.68049MaRDI QIDQ882449
Matteo Rossi, Angelo Morzenti, Dino Mandrioli, 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
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
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