Unity properties and sequences of states, some observations

DOI10.1016/0020-0190(93)90077-MzbMath0783.68082OpenAlexW1997091981MaRDI QIDQ688444

Joost N. Kok, R. T. Udink

Publication date: 20 March 1994

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(93)90077-m

zbMATH Keywords

verificationstepwise refinementspecificationunity

Mathematics Subject Classification ID

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

Related Items

A foundation for modular reasoning about safety and progress properties of state-based concurrent programs, Unity properties and sequences of states, some observations, Coordinating action systems

Uses Software

• UNITY

Cites Work

• Unity properties and sequences of states, some observations
• A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
• Unnamed Item
• Unnamed Item