Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022
- Threader: A Verifier for Multi-threaded Programs - (Competition Contribution) TACAS 2013
- Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution) TACAS 2022
- YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution) TACAS 2018
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023
- TaSSAT: Transfer and Share SAT TACAS 2024
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024