ParaDiSe Seminar
The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Spring 2006
- March 6, 2006
DiVinE - The Distributed Verification Environment
-
March 13, 2006
Verification of Infinite-State Systems (V. Řehák
) -
March 20, 2006
State-Space Reductions (P. Moravec
,
J. Šimša
) -
April 10, 2006
Verification of Component-Based Systems (B. Zimmerová
,
P. Vařeková
,
N. Beneš
) -
April 24, 2006
Distributed Verification of Finite-State Probabilistic Systems
-
May 15, 2006
Cost-Analysis of Systems