From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation.
Sreeranga P. RajanJeffrey J. JoyceCarl-Johan H. SegerPublished in: HUG (1993)
Keyphrases
- levels of abstraction
- theorem proving
- formal specification
- model checking
- data abstraction
- abstract data types
- concurrent systems
- formal methods
- temporal logic
- parallel search
- theorem prover
- process algebra
- abstraction levels
- first order logic
- inference rules
- data types
- proof planning
- protocol specification
- object oriented databases
- grid workflow
- geometry theorem proving
- relational database systems
- reverse engineering
- case study
- relational databases
- programming language
- asynchronous circuits
- consequence finding
- software components
- software engineering
- data model
- web services
- machine learning
- database