search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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