Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.

Grigore Rosu, Feng Chen, Thomas Ball

Browse the full RV paper archive.