Proving Non-Termination via Loop Acceleration
Florian Frohn, Jürgen Giesl · 2019
The following topics are dealt with: formal verification; program verification; computability; formal specification; program diagnostics; computational complexity; Boolean functions; protocols; theorem proving; inference mechanisms.