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

Grigore Rosu Feng Chen Thomas Ball Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. 51-68 2008 RV http://dx.doi.org/10.1007/978-3-540-89247-2_4 conf/rv/2008 db/conf/rv/rv2008.html#RosuCB08