Proving Nontermination via Safety
No abstract available.
Related papers
- Proving non-termination POPL 2008
- A specification for dependent types in Haskell ICFP 2017
- Fair stateless model checking PLDI 2008
- Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs TOPLAS 2021
- Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs OOPSLA 2024
- Safety of Nöcker's strictness analysis JFP 2008
- Proving the Correctness of Reactive Systems Using Sized Types POPL 1996
- Geometric Nontermination Arguments TACAS 2018