Institutional Repository

Browsing South African Computer Journal (SACJ) by Author "De Villiers, PJA"

Browsing South African Computer Journal (SACJ) by Author "De Villiers, PJA"

Sort by: Order: Results:

  • ESML - A validation language for concurrent systems 
    De Villiers, PJA; Visser, WC (South African Computer Society (SAICSIT), 1992)
    Designing a concurrent reactive system which can be proven correct is a challenging task. A promising technique involves building a validation model which can be shown to have important correctness properties. This paper ...
  • 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