Institutional Repository

Browsing South African Computer Journal 1992(8) by Subject "Branching time temporal logic"

Browsing South African Computer Journal 1992(8) by Subject "Branching time temporal logic"

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 ...

Search UnisaIR


Browse

My Account