A Hybrid System for Signature Veri ation

Appli ation of Hybrid I / O Automata in Safety Veri ation of Pit hController for Model Heli opter System

Computational Tools for the Veri ation of Hybrid Systems

Hierar hi al Formal Veri ation Using a Hybrid

Íôôð ß Èöö××òø Òò Ùøùöö

Gerd Behrmann, Kim G. Larsen Basi Resear h in Computer S ien e, Aalborg University, Denmark Oliver M oller Basi Resear h in Computer S ien e, Aarhus University, Denmark Alexandre David, Paul Pettersson, Wang Yi Department of Information Te hnology, Uppsala University, Sweden Abstra t Uppaal is a tool for modelling, simulation and veri ation of real-time systems, developed jointly by BRICS at A...

The Development Graph Manager MAYA

Serge Autexier1 and Dieter Hutter2 and Till Mossakowski3 and Axel S hairer2 1 FR 6.2 Informatik, Saarland University, P.O. Box 15 11 50, D 66041 Saarbr u ken, Autexier ags.uni-sb.de 2 DKFI GmbH, Stuhlsatzenhausweg 3, D 66123 Saarbr u ken, hutter dfki.de 3 FB 3, University of Bremen, P.O. Box 330 440, D 28334 Bremen, till tzi.de 1 Overview The use of formal methods is propagated to in rease th...