A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit.

Tobias Reinhard Amin Timany Bart Jacobs

Published in: CoRR (2020)

Keyphrases

rewrite systems
logic programming
modal logic
recursive programs
computer programs
classical logic
active rules
databases
asynchronous circuits
program synthesis
waiting times
declarative semantics
defeasible logic
term rewriting
verification method
automated reasoning
special case