Formal Methods Fact vs. Fiction.

C. Michael Holloway Ben L. Di Vito David Guaspari Michael K. Smith

Published in: TRI-Ada (1994)

Keyphrases

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