Institutional Repository

Browsing South African Computer Journal (SACJ) by Subject "Transition systems"

Browsing South African Computer Journal (SACJ) by Subject "Transition systems"

Sort by: Order: Results:

  • 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