Now showing items 1-1 of 1

    • Shield synthesis 

      Koenighofer, Bettina; Alshiekh, Mohammed; Bloem, Roderick; Humphrey, Laura; Koenighofer, Robert; Topcu, Ufuk; Wang, Chao (2017-11)
      Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can ...