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
Authors:
Sreeranga P. Rajan;Jeffrey J. Joyce;Carl-Johan H. Seger
Affiliations:
-;-;-
Venue:
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications