Refinement of Trace Abstraction
Abstract elided by the publisher.
Related papers
- Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems TACAS 2016
- Specification and inference of trace refinement relations OOPSLA 2019
- Atomicity Refinement and Trace Reduction Theorems CAV 1996
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow SAS 1998
- Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution) TACAS 2015
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- Necessary and Sufficient Preconditions via Eager Abstraction APLAS 2014
- Complete trace models of state and control ESOP 2021