Assumption/guarantee specifications in linear-time temporal logic (extended abstract)

DOI10.1007/3-540-59293-8_200MaRDI QIDQ5096736zbMATH OpenOpenAlexFDO

Authors Yih-Kuen Tsay, Bengt Jonsson

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_200

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Assumption/guarantee specifications in linear-time temporal logic
• scientific article; zbMATH DE number 1512628
• Computer Science Logic
• An abstract account of composition
• Phase semantics for linear-time formalism

Cites work

• A logical view of composition
• Application of the composition principle to unity-like specifications
• Assumption/guarantee specifications in linear-time temporal logic
• Defining liveness
• scientific article; zbMATH DE number 4213463 (Why is no real title available?)
• scientific article; zbMATH DE number 3902010 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1318522 (Why is no real title available?)
• Proofs of Networks of Processes
• Tentative steps toward a development method for interfering programs
• The existence of refinement mappings
• The temporal semantics of concurrent programs

Cited in

(6)

• Using Locales to Define a Rely-Guarantee Temporal Logic
• scientific article; zbMATH DE number 1512628 (Why is no real title available?)
• Assumption/guarantee specifications in linear-time temporal logic
• Compositional reasoning using the assumption-commitment paradigm
• Modular model checking
• Deductive verification of modular systems

This page was built for publication: Assumption/guarantee specifications in linear-time temporal logic (extended abstract)

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