On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.

Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty

Browse the full LOPSTR paper archive.