Challenges in the Utilization of Formal Methods.

Published in: FTRTFT (1998)

Keyphrases

formal methods
formal analysis
model checker
knowledge based systems
lessons learned
safety critical
provably correct
temporal properties
software engineering
model checking
formal specification
process algebra
real world
security properties
distributed systems
reactive systems
web services
artificial intelligence