Outils pour utilisateurs

Outils du site


pulsar_jy

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

pulsar_jy [2009/11/30 13:21] – créée tiglipulsar_jy [2009/11/30 13:28] (Version actuelle) tigli
Ligne 57: Ligne 57:
 has completed the theoretical work done in SynComp. He studies how prove has completed the theoretical work done in SynComp. He studies how prove
 safety properties safety properties
-regarding WComp component models relying on the NuSMV \footcite{NuSMV} +regarding WComp component models relying on the NuSMV model checker.
-model checker.+
  
 This year, the collaboration between Rainbow and Pulsar has been This year, the collaboration between Rainbow and Pulsar has been
pulsar_jy.txt · Dernière modification : 2009/11/30 13:28 de tigli