Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.

Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier

Browse the full ICISS paper archive.