Formal verification of hybrid systems using CheckMate: a case study

2000 ◽  
Author(s):  
B.I. Silva ◽  
B.H. Krogh
Keyword(s):  
Formal Verification ◽  
Hybrid Systems ◽  
Verification Of Hybrid Systems

Approaches to the Formal Verification of Hybrid Systems

2001 ◽  
Vol 49 (2/2001) ◽  
Author(s):  
St. Kowalewski ◽  
P. Herrmann ◽  
Sebastian Engell ◽  
R. Huuck ◽  
H. Krumm ◽  
...  
Keyword(s):  
Formal Verification ◽  
Hybrid Systems ◽  
Verification Of Hybrid Systems

scholarly journals A Benchmark for Component-based Hybrid Systems Safety Verification

10.29007/9jm3 ◽  
2018 ◽  
Author(s):  
Andreas Müller ◽  
Stefan Mitsch ◽  
Werner Retschitzegger ◽  
Wieland Schwinger ◽  
André Platzer
Keyword(s):  
Formal Verification ◽  
Hybrid Systems ◽  
Case Studies ◽  
Entire System ◽  
Safety Properties ◽  
System Safety ◽  
Guarantee System ◽  
Natural Components ◽  
Verification Of Hybrid Systems ◽  
Potential Remedy

At scale, formal verification of hybrid systems is challenging, but a potential remedy is the observation that systems often come with a number of natural components with certain local responsibilities. Ideally, such a compartmentalization into more manageable components also translates to hybrid systems verification, so that safety properties about the whole system can be derived from local verification results. We propose a benchmark consisting of a sequence of three case studies, where components interact to achieve system safety. The baseline for the benchmark is the verification effort from a monolithic fashion (i.e., the entire system without splitting it into components). We describe how to split the system models used in these case studies into components with local responsibilities, and what is expected about their interaction to guarantee system safety. The benchmark can be used to assess the performance, automation, and verification features of component-based verification approaches.

scholarly journals Formal Verification of Health Assessment Tools: a Case Study

2016 ◽  
Vol 324 ◽  
pp. 31-50 ◽  
Author(s):  
Jonas Santos Bezerra ◽  
Andrei Costa ◽  
Leila Ribeiro ◽  
Érika Cota
Keyword(s):  
Formal Verification ◽  
Health Assessment ◽  
Assessment Tools
Sign in / Sign up

Export Citation Format

Share Document