SMT-Based Model Checking for Recursive Programs
Abstract elided by the publisher.
Related papers
- SMT-Based Symbolic Model-Checking for Operator Precedence Languages CAV 2024
- Efficient Modular SMT-Based Model Checking of Pointer Programs SAS 2022
- Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) TACAS 2024
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- Refinement reflection: complete verification with SMT POPL 2018
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021