Towards provably correct system synthesis and extension.

Fausto Giunchiglia Paolo Pecchiari Alessandro Armando

Published in: Future Gener. Comput. Syst. (1996)

Keyphrases

provably correct
situation calculus
formal methods
databases
data mining
genetic algorithm
expert systems
search space