Zing Model Checker

Language:
English
Zing is a state-exploration engine for models of concurrent software systems. Last published: December 10, 2012.