Saturn: A SAT-Based Tool for Bug Detection
No abstract available.
Related papers
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- SATCheck: SAT-directed stateless model checking for SC and TSO OOPSLA 2015
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability CAV 2018
- The Automatic Detection of Token Structures and Invariants Using SAT Checking TACAS 2017
- Static detection of asymptotic performance bugs in collection traversals PLDI 2015
- Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses PLDI 2010
- Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC PPoPP 2022
- Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic POPL 2026