There is a newer version of the record available.

Published May 20, 2021 | Version v1
Technical note Open

Ghost Signals: Verifying Termination of Busy Waiting (Technical Report)

Authors/Creators

  • 1. KU Leuven

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.4 kB)

Name Size Download all
md5:616499589c783d22e55751033a566ef9
544.4 kB Preview Download