Formal Methods Applied to Software Production.

Alexander G. Fraser

Published in: PSTV (1992)

Keyphrases

formal methods
formal analysis
user interface
safety critical
development lifecycle
knowledge based systems
software architecture
formal specification
artificial intelligence
natural language
model checking
software development
information security
software maintenance
reactive systems
provably correct