Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Safety"

Browsing College of Science, Engineering and Technology by Subject "Safety"

Sort by: Order: Results:

  • A logic for the design of multiprogramming systems 
    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 ...

Search UnisaIR


Browse

My Account