An LTL Proof System for Runtime Verification.

Clare Cini, Adrian Francalanza

Browse the full TACAS paper archive.