Ci-dessous, les différences entre deux révisions de la page.
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 |