Synthesizing Monitors for Safety Properties.

Klaus Havelund, Grigore Rosu

Browse the full TACAS paper archive.