Preprint
Aug 2026
Termination analysis with interpolation-based transition invariant generation
Termination and nontermination of infinite-state systems are complementary problems that, despite their close connection, are typically addressed by separate techniques. The core idea of this paper is to connect termination and nontermination analysis, enabling the two to share intermediate results and guide one anothe...
Konstantin Britikov, Martin Blicha, Grigory Fedyukovich et al.
· 0 citations