A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

Get full text

A language to support verification of embedded software by Swart, Riaan

Get full text

An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

Get full text

Efficiency issues in the design of a model checker by Geldenhuys, Jacobus

Get full text

Device drivers : a comparison of different development strategies by Loubser, Johannes Jacobus

Get full text

A software restructuring tool for oberon by Eloff, Johannes J.

Get full text

LF : a language for reliable embedded systems by Van Riet, F. A.

Get full text

A comparison of two different model checking techniques by Bull, J. J. D

Get full text

Development of a tool to test computer protocols by Myburgh, W. D.

Get full text

A development environment for reactive systems by De Wet, Matthys Johannes de Villiers

Get full text

Kernel support for embedded reactive systems by Ackerman, M. C . (Marthinus Casper)

Get full text

An efficient kernel to support the client-server model by Fouche, Werner

Get full text

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Get full text

Providing mechanical support for program development in a weakest precondition calculus by Ackerman, Charlotte Christene

Get full text