Published May 20, 2021
| Version v2
Technical note
Open
Ghost Signals: Verifying Termination of Busy Waiting (Technical Report)
Description
In this work we propose a separation logic to verify termination of busy-waiting for arbitrary events through so-called ghost signals.
Files
ghostSignals--TR.pdf
Files
(544.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1737c68aea069278f1337e5059dff581
|
544.1 kB | Preview Download |