Synthesizing monitors for safety properties (2002)

by K Havelund, G Rosu
Venue:In International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’02