information about SPIN model checker field

SPIN model checker

http://en.wikipedia.org/wiki/SPIN_model_checker
Field Hierarchy
Parent
Promela
594 papers
Current
SPIN model checker
papers
Child
Trends