Where Next for Formal Methods?

James Heather Kun Wei

Published in: Security Protocols Workshop (2006)

Keyphrases

formal methods
safety critical
formal analysis
model checking
formal specification
knowledge based systems
artificial intelligence
model checker
provably correct
process algebra
software engineering
temporal properties
database
production system
development lifecycle
formal specification language