Institutional Repository

Browsing South African Computer Journal (SACJ) by Subject "Verification"

Browsing South African Computer Journal (SACJ) by Subject "Verification"

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 ...
  • Programming using induction 
    Mueller, C.S.M. (South African Institute of Computer Scientists and Information Technologists, 1990)
    Induction has been used as a major tool in mathematics in proving theorems. This paper explores whether it has an equally important role in formulating programs. There are those who advocate that induction should be used ...

Search UnisaIR


Browse

My Account