Ground Temporal Logic: A Logic for Hardware Verification.

David Cyrluk, Paliath Narendran

Browse the full CAV paper archive.