Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Home ›
Development ›
Zing
Zing
By Microsoft
Rating:
4.7/5 (19)
4.7/5 (19)
License type:
Freeware
Home page:
research.microsoft.com
Latest version:
2.0.0
Last updated:
April 25th, 2012
Zing is a state-exploration engine for models of concurrent software systems. The Zing modeling language supports the modeling of procedure calls, dynamic memory allocation, and asynchronous task...
