Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY.
Laurence PierrePublished in: ED&TC (1996)
Keyphrases
- formal specification
- formal specification language
- model checking
- specification languages
- object oriented design
- specification language
- hardware implementation
- data abstraction
- process algebra
- model checker
- formal methods
- concurrent systems
- reverse engineering
- hardware design
- field programmable gate array
- artificial intelligence
- circuit design
- integrated circuit
- relational databases