Ground Temporal Logic: A Logic for Hardware Verification
Abstract elided by the publisher.
Related papers
- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties TACAS 2018
- A Synchronous Effects Logic for Temporal Verification of Pure Esterel VMCAI 2021
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic CAV 1992
- Temporal Verification of Programs via First-Order Fixpoint Logic SAS 2019
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic JFP 2018
- Temporal Verification of Carrier-Sense Local Area Network Protocols POPL 1984
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983