Integration of Formal Methods with System Design.

Eleanor M. Mayger Michael P. Fourman

Published in: VLSI (1991)

Keyphrases

formal methods
knowledge based systems
information systems
model checker
formal analysis
safety critical
database systems
expert systems
user interface
open source
design process
security properties
temporal properties
provably correct