Formal specification and verification of microprocessor systems.
Jeffrey J. JoycePublished in: Integr. (1989)
Keyphrases
- formal specification
- formal methods
- model checking
- design methodology
- concurrent systems
- reverse engineering
- specification languages
- process algebra
- knowledge based systems
- object oriented design
- model checker
- specification language
- database
- software components
- grid workflow
- design methodologies
- petri net
- functional verification