Guarded Command Language
article-link
What links here
SPIN model checker
Bloom filter
article-link
Model checking
article-link
Formal methods
article-link
Spin
article-link
List of computer scientists
article-link
SPIN (model checker)
redirect
Spin Model Checker
redirect
SPIN (verification system)
redirect