Verification of JCSP Programs.

Vladimir Klebanov Philipp Rümmer Steffen Schlager Peter H. Schmitt

Published in: CPA (2005)

Keyphrases

symbolic execution
hardware designs
formal verification
model checking
database
data sets
evolutionary algorithm
artificial neural networks
computer programs
face verification
static analysis
multi agent
automatic programming
person identification
control structures
machine learning
concurrent systems
data mining