Checking Program Proofs Made Eas.

Martina Schollmeyer Bruce M. McMillin

Published in: COMPSAC (1995)

Keyphrases

evolutionary algorithm
computer programs
static analysis
program execution
relational databases
databases
data mining
genetic algorithm
decision trees
model checking
differential evolution
theorem prover
programming environment
control program
equational theories