Home

Zing (MSR)

Zing is a new software model checking project at Microsoft Research.

Software model checking is hard, but it is still a promising line of research.

Tools are generally influenced by the type of languages they model. On top of that, I am sure software model checking is going to influence language design and implementation.

By Ehud Lamm at 2004-06-23 15:18 | Software Engineering | other blogs | 6341 reads