Platzer, André2018-01-082018-01-0820102010https://dl.gi.de/handle/20.500.12116/11116Designing and analyzing hybrid systems, which are models for complex physical systems, is expensive and error-prone. The dissertation presented in this article introduces a verification logic that is suitable for analyzing the behavior of hybrid systems. It presents a proof calculus and a new deductive verification tool for hybrid systems that has been used successfully to verify aircraft and train control.Text/Journal Article1610-1987