Cornelia P. Inggs
Cornelia P. Inggs
Taun Gadd
Justin Giffard
Learning Concurrency Concepts while Playing Games.
597-602
2017
CSEDU (1)
https://doi.org/10.5220/0006374705970602
conf/csedu/2017-1
db/conf/csedu/csedu2017-1.html#InggsGG17
Willem Bester
Cornelia P. Inggs
Willem Visser
Test-case generation and bug-finding through symbolic execution.
1-9
2012
SAICSIT
https://doi.org/10.1145/2389836.2389838
https://www.wikidata.org/entity/Q131118396
conf/saicsit/2012
db/conf/saicsit/saicsit2012.html#BesterIV12
Jean Fourie
Jaco Geldenhuys
Cornelia P. Inggs
Improving communication for distributed model checking.
41-50
2012
SAICSIT
https://doi.org/10.1145/2389836.2389842
conf/saicsit/2012
db/conf/saicsit/saicsit2012.html#FourieGI12
G. C. Morrison
Cornelia P. Inggs
Willem Visser
Automated coverage calculation and test case generation.
84-93
2012
SAICSIT
https://doi.org/10.1145/2389836.2389847
conf/saicsit/2012
db/conf/saicsit/saicsit2012.html#MorrisonIV12
Francois van Niekerk
Gert-Jan van Rooyen
Steve Kroon
Cornelia P. Inggs
Monte-Carlo tree search parallelisation for computer go.
129-138
2012
SAICSIT
https://doi.org/10.1145/2389836.2389852
conf/saicsit/2012
db/conf/saicsit/saicsit2012.html#NiekerkRKI12
Cornelia P. Inggs
Howard Barringer
CTL<sup>*</sup> model checking on a shared-memory architecture.
135-155
2006
29
Formal Methods Syst. Des.
2
https://doi.org/10.1007/s10703-006-0008-z
db/journals/fmsd/fmsd29.html#InggsB06
Cornelia P. Inggs
Howard Barringer
CTL<sup>*</sup> Model Checking on a Shared-Memory Architecture.
107-123
2004
conf/pdmc/2004
PDMC
https://doi.org/10.1016/j.entcs.2004.10.022
db/conf/pdmc/pdmc2004.html#InggsB05
Cornelia P. Inggs
Howard Barringer
Effective State Exploration for Model Checking on a Shared Memory Architecture.
2002
conf/concur/2002pdmc
PDMC@CONCUR
https://doi.org/10.1016/S1571-0661(05)80395-0
db/conf/concur/pdmc2002.html#InggsB02
605-620
Howard Barringer
Willem Bester
Jean Fourie
Taun Gadd
Jaco Geldenhuys
Justin Giffard
Steve Kroon
G. C. Morrison
Francois van Niekerk
Gert-Jan van Rooyen
Willem Visser