pulsar_jy
Différences
Ci-dessous, les différences entre deux révisions de la page.
| pulsar_jy [2009/11/30 13:21] – créée tigli | pulsar_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