Temporal Logic for Proof-Carrying Code.

Andrew Bernard, Peter Lee

Browse the full CADE paper archive.