Termination analysis with interpolation-based transition invariant generation

Konstantin Britikov, Martin Blicha, Grigory Fedyukovich +1

Termination and nontermination of infinite-state systems are complementary problems that, despite their close connection, are typically addressed by separate techniques. The core i…