Technische = Universit�t Braunschweig

   Institute= f�r Informatik

    

Einladung zum


Informatik-Kolloquium

    

   Zeit:

   Montag 04.10.04, 15.00 Uhr

   Ort:

   M�hlenpfordtstr= . 23, = IZ

   H�rsaal M 160, 1. OG

   Vortragender:

   Prof. Wojciech Penczek, = 

   (�ber Frau Prof. Goltz)

   Polish Academy of Science und = Institute for 

   Computer Science, Univ. of = Warsaw

    

   Them= a:

   VerICS 2004: A Model Checker for Real = Time and Multi-agent Systems

    

    

   Zusa= mmenfassung: 

    

   Verics is a model checking tool for = verification of timed and
   multi-agent systems. These systems can be represented by = Timed
   Automta, Time Petri Nets, or given as Estelle = and Intermediate
   Language specifications. Verics offers three verification methods:
   Bounded Model Checking, Unbounded Model = Checking, and Splitting for
   properties to be specified in subsets of TCTL and = CTLpK. The current
   version of Verics uses also a new graphical user interface to design
   Time Petri Nets and = Timed Automata.

   The lecture presents the verification methods of VerICS as well as a
   demo of its functionality.




   
    Die = Dozenten der Informatik