RuleBase: Model Checking at IBM
Abstract elided by the publisher.
Related papers
- Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists CAV 1999
- Removing redundancy via exception check motion CGO 2008
- QSSA: an SSA-based IR for Quantum computing CC 2022
- Automated multi-dimensional elasticity for streaming runtimes: poster PPoPP 2019
- Stretching the capacity of hardware transactional memory in IBM POWER architectures PPoPP 2019
- Mechanisms for Compile-Time Enforcement of Security POPL 1983
- Collective communication on architectures that support simultaneous communication over multiple links PPoPP 2006
- Programming quantum computers: a primer with IBM Q and D-Wave exercises PPoPP 2019