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 14:21]
tigli créée
pulsar_jy [2009/11/30 14:28]
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 14:28 par tigli