Incremental Verification Using Trace Abstraction
Abstract elided by the publisher.
Related papers
- A type theory for incremental computational complexity with control flow changes ICFP 2016
- Incremental Verification by Abstraction TACAS 2001
- Barrier Techniques for Incremental Tracing ISMM 1998
- Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs PLDI 1994
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages TOPLAS 2024
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming JFP 1993
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024