Getting at the essence of FSA Monitoring Approaches (RV11)

In our paper entitled “Monitoring Finite State Properties: Basic Algorithmic Approaches and their Relative Strengths”, to be presented at the RV Conference, we get at the essence of current monitoring approaches, the relationships between properties and programs, their strengths and weaknesses, and the opportunities for alternative approaches.