 | Zing+Zing is a state-exploration engine for models of concurrent software systems. |
| Download | |
Zing+ Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- Free
- Publisher Name:
- By IdeaGroup
- Publisher web site:
- Operating Systems:
- Windows 95, Windows 2000, Windows 98, Windows Me, Windows, Windows XP, Windows NT
- Additional Requirements:
- Windows 95/98/Me/NT/2000/XP
- File Size:
- 4.1 MB
- Total Downloads:
- 4316
Zing+ Tags
Zing+ Description
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 creation. Zing is being used to model and verify protocols in critical components of the Windows operating system, enabling early discovery of scores of critical concurrency bugs that would have been extremely difficult to uncover later. Write a review about this program
Zing+ Related Software