Formal specification and verification of microprocessor systems.
Jeffrey J. JoycePublished in: Microprocess. Microprogramming (1988)
Keyphrases
- formal specification
- formal methods
- model checking
- concurrent systems
- object oriented design
- specification languages
- functional verification
- process algebra
- temporal logic
- distributed systems
- design methodology
- asynchronous circuits
- specification language
- model checker
- building blocks
- relational databases
- multi agent