Browsing South African Computer Journal 1999(24) by Author "Hazelhurst, S"

Now showing items 1-2 of 2

Generalised unification of finite temporal logic formulas

Hazelhurst, S (South African Computer Society (SAICSIT), 1999)

Given two temporal logic formulas, g and h, we wish to know whether there is a modification, m, we can make to h so that g ==> m( h). This problem has important applications in hardware verification, where finding such ...
Introducing research methods to Computer Science honours students

Galpin, V; Hazelhurst, S; Mueller, C; Sanders, I (South African Computer Society (SAICSIT), 1999)

Research skills are important for any academic and can be of great benefit to any professional person. These skills are, however, difficult to teach and to learn. In the Department of Computer Science at the University ...

Search UnisaIR