A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.
Tobias ReinhardAmin TimanyBart JacobsPublished in: CoRR (2020)
Keyphrases
- technical report
- rewrite systems
- active rules
- functional programs
- modal logic
- program execution
- logic programming
- test cases
- computer programs
- multi valued
- expressive power
- automated reasoning
- neural network
- computational properties
- digital circuits
- asynchronous circuits
- declarative semantics
- term rewriting
- bayesian networks
- database systems