1 paper
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…