Login / Signup
Verification games: making verification fun.
Werner Dietl
Stephanie Dietzel
Michael D. Ernst
Nathaniel Mote
Brian Walker
Seth Cooper
Timothy Pavlik
Zoran Popovic
Published in:
FTfJP@ECOOP (2012)
Keyphrases
</>
model checking
computer games
artificial intelligence
formal analysis
signature verification
asynchronous circuits
data sets
real world
data mining
machine learning
web services
multi agent
game theory
face verification
verification method