Formal Methods For Design.

Published in: IFIP Congress (1) (1992)

Keyphrases

formal methods
safety critical
user interface
formal analysis
design process
model checking
development lifecycle
knowledge based systems
software engineering
building blocks
software systems
database
software architecture
embedded systems
modeling language
open source
formal verification
process algebra
databases