Exploiting Partial Success in Applying Automated Formal Methods.

Matthew B. Dwyer

Published in: ICFEM (2010)

Keyphrases

formal methods
formal analysis
formal specification
knowledge based systems
provably correct
model checking
artificial intelligence
safety critical
software engineering
model checker
process algebra
security properties
temporal properties
fine grained
information systems
object oriented
natural language