Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.

Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clment Pit-Claudel, Insup Lee, Oleg Sokolsky

Browse the full SETTA paper archive.