Jonathan Amir

• Runtime monitoring of state machines : formalism and analysis