Zing is a state-exploration engine for models of concurrent software systems.
Zing is a state- ... systems. The Zing modeling language ... task creation. Zing is being