Yasm: A Software Model-Checker for Verification and Refutation
No abstract available.
Related papers
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Safety Verification and Refutation by k-Invariants and k-Induction SAS 2015
- Decomposing Farkas Interpolants TACAS 2019
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A) CAV 2003
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- CPV: A Circuit-Based Program Verifier TACAS 2024
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023