Formal Methods of Microcode Verification and Synthesis.

Robert A. Mueller Michael R. Duda

Published in: IEEE Softw. (1986)

Keyphrases

formal methods
model checking
model checker
formal analysis
knowledge based systems
formal specification
safety critical
process algebra
temporal properties
artificial intelligence
provably correct
software engineering
temporal logic
development lifecycle
information systems
expert systems
case study