Composition of assumption-commitment specifications in a UNITY style

DOI10.1016/0167-6423(94)00017-4zbMath0830.68082OpenAlexW2078554793MaRDI QIDQ1346680

Pierre Collette

Publication date: 10 April 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(94)00017-4

zbMATH Keywords

concurrent systemsUNITY logic

Mathematics Subject Classification ID

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

Related Items

Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Splitting atoms safely ⋮ Logical foundations for compositional verification and development of concurrent programs in UNITY ⋮ A foundation for modular reasoning about safety and progress properties of state-based concurrent programs ⋮ Compositional reasoning using intervals and time reversal ⋮ Composing leads-to properties ⋮ Factorizing fault tolerance.