Terminator: Beyond Safety
No abstract available.
DOI 10.1007/11817963_37
Related papers
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond TACAS 2021
- Transition predicate abstraction and fair termination POPL 2005
- Cyclic Abduction of Inductively Defined Safety and Termination Preconditions SAS 2014
- AProVE: Termination and Memory Safety of C Programs - (Competition Contribution) TACAS 2015
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018