Institutional Repository

Browsing SAICSIT Proceedings: 1979-2001 by Author "De Villiers, PJA"

Browsing SAICSIT Proceedings: 1979-2001 by Author "De Villiers, PJA"

Sort by: Order: Results:

  • A model checker for transition systems 
    De Villiers, PJA (1991)
    A model checker automatically determines whether a model of a re­active system satisfies its specification.Temporal logic is used to spec­ify the intended behaviour of a reactive system which is modelled as a transition ...
  • A reusable kernel for the development of control software 
    Fouche, W; De Villiers, PJA (1991)
    A kernel has been developed which can be used to simplify the development of control software. It can be used to control several physical machines which are interconnected via a fast local area network. One or more virtual ...
  • A validation model of the VMTP transport level protocol 
    Roux, HN; De Villiers, PJA (1996)
    The implementation of protocols can be speed up by incorporating formally validated designs in documents that describe new protocols. Unfortunately, this seldom happens in practice. It is proposed that a formally validated ...

Search UnisaIR


Browse

My Account