Documents Model Checking for Survivability Evaluation Critical Infrastructures Boudewijn R. Haverkort...

Slide 1Model Checking for Survivability Evaluation Critical Infrastructures Boudewijn R. Haverkort University of Twente Dutch Model Checking Day May 9, 2014 Slide 2 Recent…