Misra, J
(South African Computer Society (SAICSIT), 1998)
This paper presents a short introduction to the UNITY logic, a fragment of linear temporal logic. The logic was designed to specify safety and progress properties of reactive systems. A version of the UNITY ...