Login / Signup

Towards provably correct system synthesis and extension.

Fausto GiunchigliaPaolo PecchiariAlessandro Armando
Published in: Future Gener. Comput. Syst. (1996)
Keyphrases
  • provably correct
  • situation calculus
  • formal methods
  • databases
  • data mining
  • genetic algorithm
  • expert systems
  • search space