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

DOI10.1007/3-540-59293-8_200zbMath1496.68192OpenAlexW1508646243MaRDI QIDQ5096736

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

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

Cites Work

• Assumption/guarantee specifications in linear-time temporal logic
• A logical view of composition
• The existence of refinement mappings
• Defining liveness
• The temporal semantics of concurrent programs
• Tentative steps toward a development method for interfering programs
• Proofs of Networks of Processes
• Application of the composition principle to unity-like specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item