Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits

David M. Goldschlag. Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. Formal Methods in System Design, 5(3):207-225, 1994.

Abstract

Abstract is missing.