Similar Items: A survey of proof systems for CSP
- An LTL verification system based on automata theory
- A model checker for the LF system
- An algebraic framework for reasoning about privacy
- Reducing the state explosion problem during model checking
- A language to support verification of embedded software
- The design of a specification language suitable for the generation of compilers
Author: Stellenbosch University. Faculty of . Dept. of .
- The expression of possibility in Tshivenda
- A study of high fat milk replacers and high fat postweaning diets in the rearing of young Friesland bull-calves
- The distribution, identity and virus vector potential of Xiphinema Spp. in the Western Cape Province
- The retail patterns of greater Johannesburg with particular reference to the incidence of large-scale retailing
- n Bedryfsielkundige ondersoek na beeldbevordering as 'n promosiestrategie en uitvloeisel van sosiaal-verantwoordelike handelinge : 'n studie in die wynbedryf
- Segregated finite element solution of the incompressible Navier-Stokes equations, with equal-order velocity-pressure formulation
Author: Van Zijl, Lynette
- Combining reverse debugging and live programming towards visual thinking in computer programming
- Generalized nondeterminism and the succinct representation of regular languages
- An embodied conversational agent with autistic behaviour
- Generalised acceptance conditions for symmetric difference nondeterministic finite automata
- A parallel cellular automaton simulation framework using CUDA
- A survey of proof systems for CSP