Model Checking: From Hardware to Software
No abstract available.
Related papers
- CPV: A Circuit-Based Program Verifier TACAS 2024
- ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions TACAS 2019
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory PLDI 2009
- The MoXI Model Exchange Tool Suite CAV 2024
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- Software Verification with PDR: An Implementation of the State of the Art TACAS 2020