Rich Model Toolkit: Surveys of Existing Tools
Model Checking Tools for Software Systems
, by
Maysam Yabandeh