Thomas Göthel Bücher

Der Erfolg der Beatles lag nicht nur in ihrem Können begründet. Unter den Ursachen gab es eine Menge glücklicher Umstände - und John Lennons Schwächen. Der Erfinder und Kopf der Beatles war nicht nur Rock'n'Roll-Rebell, sondern auch ein zutiefst zerrissener Mensch. Diese Melange traf den Nerv. Doch das war weder geplant noch gecastet. Der Kult um die Beatles entstammte dem Original - und das ist der legendäre und verstörende Lebensweg des Mannes aus Liverpool.

Focusing on the challenges of verifying parameterized real-time systems, this work introduces a framework that combines mechanical and semi-automatic verification methods to ensure correct behavior in safety-critical applications. By utilizing the Timed CSP process calculus, it offers an interactive theorem proving environment equipped with debugging tools. This approach allows for the automatic verification of finite instances, ultimately supporting comprehensive verification of the entire system, thereby addressing the limitations of traditional verification techniques.