Simulating Microprocessors from Formal Specifications.
Kelly M. HallPhillip J. WindleyPublished in: TPHOLs (1992)
Keyphrases
- formal specification
- specification languages
- object oriented design
- model checking
- specification language
- formal methods
- process algebra
- concurrent systems
- reverse engineering
- computing power
- personal computer
- design methodology
- computer architecture
- formal specification language
- semantic data models
- business rules
- software components
- temporal logic
- fine grained
- object oriented
- expert systems
- protocol specification
- cooperative
- database