Shankar, Saumya
Rollet, Antoine
Pinisetty, Srinivas
Falcone, Yliès
Chapter History
First Online: 23 August 2022
Change Date: 3 December 2022
Change Type: Correction
Change Details: In the originally published version of chapter 7 “Bounded-Memory Runtime Enforcement” the Figure 3 was incorrect. The Figure 3 has now been corrected.
Conference Information
Conference Acronym: SPIN
Conference Name: International Symposium on Model Checking Software
Conference Year: 2022
Conference Start Date: 21 May 2022
Conference End Date: 21 May 2022
Conference Number: 28
Conference ID: spin2022
Conference URL: https://spin2022chi.web.illinois.edu/