Computer Science Laboratory Every 25th of the month, LIP6 supports the “Orange Day”» to end violences against women!

MoVe : Software Environment for the Formal Specification and Verification of Dynamic Systems

Подразделение : MoVe

CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.

Отвественный : Fabrice KORDON
http://www.cosyverif.org