Formal Methods for Automated Program Improvement.

Published in: KI (1994)

Keyphrases

formal methods
model checking
formal analysis
formal specification
knowledge based systems
process algebra
artificial intelligence
model checker
software engineering
safety critical
temporal properties
provably correct
databases
fine grained