Méthodes Formelles pour les Systèmes Logiciels et Matériels
Freitag, 19. Januar 2007Kurt Jensen (Univ. Aarhus, Denmaark), Alexandre Hamez (LIP6)
1- Introduction to two "smart" state space techniques. (Kurt Jensen)2- Distributed model checking with libDMC (Alexandre Hamez)