Speaker Affiliation | Polish Academy of Science und Institute for Computer Science, Univ. of Warsaw |
Start | 04.10.2004, 15:00 Uhr |
Location | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 |
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. |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0