Multi-prover Verification of C Programs.

Jean-Christophe Filliâtre Claude Marché

Published in: ICFEM (2004)

Keyphrases

symbolic execution
database
model checking
theorem proving
data structure
computer programs
asynchronous circuits
hardware designs
real time
data mining
genetic algorithm
artificial intelligence
decision trees
multi agent
theorem prover