Recherche

3 résultat(s) · 6 ms

Recherche en cours…
Couverture : Concurrency verification

Concurrency verification

2001
Couverture : Principles of the Spin model checker

Principles of the Spin model checker

Mordechai Ben-Ari

2008
Couverture : Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

1997