Institutional Repository

Browsing South African Computer Journal (SACJ) by Subject "Model checking"

Browsing South African Computer Journal (SACJ) by Subject "Model checking"

Sort by: Order: Results:

  • A model checker for transition systems 
    De Villiers, PJA (South African Computer Society (SAICSIT), 1992)
    A model checker automatically determines whether a model of a reactive system satisfies its specification. Temporal logic is used to specify the intended behaviour of a reactive system which is modelled as a transition ...
  • Verification of finite state systems with temporal logic model checking 
    Schlingloff, B (South African Computer Society (SAICSIT), 1997)
    These tutorial notes contain an introduction to the logical theory and computational aspects of computer aided verification of finite state reactive systems with linear and branching temporal logic model checking. As a ...

Search UnisaIR


Browse

My Account