Keyword:experience report

Publications
Verifying a PI Controller using SoapBox and Stabhyli Eike Möhlmann, Willem Hagemann and Astrid Rakow In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Verifying Properties of an Electro-Mechanical Braking System Thomas Strathmann and Jens Oehlerking In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems