Verification of Boolean programs with unbounded thread creation.

Byron Cook Daniel Kroening Natasha Sharygina

Published in: Theor. Comput. Sci. (2007)

Keyphrases

symbolic execution
hardware designs
model checking
boolean functions
real valued
real time
machine learning
face verification
formal methods
control structures
java bytecode
data sets
evolutionary algorithm
object oriented
petri net
multiscale
answer sets
formal verification
java programs
high security
data mining