The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

Jonathan P. Bowen Victoria Stavridou

Published in: FME (1993)

Keyphrases

formal methods
safety critical
safety analysis
model checking
artificial intelligence
regulatory requirements
software engineering
model checker
knowledge based systems
formal specification
development lifecycle
expert systems
database
embedded systems
modeling language
adaptive systems