Cornelia P. Inggs
Cornelia P. Inggs
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za
Title
Cited by
Cited by
Year
CTL* model checking on a shared-memory architecture
CP Inggs, H Barringer
Formal Methods in System Design 29 (2), 135-155, 2006
322006
Effective state exploration for model checking on a shared memory architecture
CP Inggs, H Barringer
Electronic Notes in Theoretical Computer Science 68 (4), 605-620, 2002
312002
CTL* model checking on a shared-memory architecture
CP Inggs, H Barringer
Electronic Notes in Theoretical Computer Science 128 (3), 107-123, 2005
142005
The parallelisation of model checking
C Inggs, H Barringer
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR …, 2002
72002
Automated coverage calculation and test case generation
GC Morrison, CP Inggs, WC Visser
Proceedings of the South African Institute for Computer Scientists and …, 2012
62012
Parallel model checking on shared-memory multiprocessors
CP Inggs
PQDT-Global, 2004
62004
Monte-carlo tree search parallelisation for computer go
F Van Niekerk, GJ van Rooyen, S Kroon, CP Inggs
Proceedings of the South African Institute for Computer Scientists and …, 2012
52012
Test-case generation and bug-finding through symbolic execution
WHK Bester, CP Inggs, WC Visser
Proceedings of the South African Institute for Computer Scientists and …, 2012
32012
MCTS Parallelisation
F van Niekerk, GJ van Rooyen, S Kroon, C Inggs
Engineering final year project, Stellenbosch University, 2011
12011
Improving communication for distributed model checking
J Fourie, J Geldenhuys, C Inggs
Proceedings of the South African Institute for Computer Scientists and …, 2012
2012
An LTL verification system based on automata theory
CP Inggs, C Van Wyk
Stellenbosch: Stellenbosch University, 1999
1999
The system can't perform the operation now. Try again later.
Articles 1–11