Assume-guarantee refinement between different time scales

DOI10.1007/3-540-48683-6_20MaRDI QIDQ4817545zbMATH OpenFDO

Authors Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Publication date 24 September 2004

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

Full work available at URL https://doi.org/10.1007/3-540-48683-6_20

Mathematics Subject Classification ID

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

Recommendations

• Verifying abstractions of timed systems
• Timewise refinement for communicating processes
• Timewise refinement for communicating processes
• A theory of implementation and refinement in timed Petri nets
• Refinement checking based on simulation relations

Cited in

(4)

• Skipping refinement
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• scientific article; zbMATH DE number 2112983 (Why is no real title available?)
• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications

Describes a project that uses

Uses Software

• MOCHA

This page was built for publication: Assume-guarantee refinement between different time scales

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