"Specification languages are write-once languages?" Formal specifications are too complex? (...) These and other such believes are typically around when trying to put more focus on a formal software development process. The same reservations among students can be experiences at lectures at Universities. So, what to do?

As quite a lot of sayings and believes contain a grain of truth, the ViZ project tries to deal with this situation and, finally, wants to come up with a set of tools that can be used as other wide-spread IDEs and that deal with typical impediments of formal specifications (complexity, notation, prediction).

The environment resembles a patchwork-quilt, but, with the forthcoming integration into the latest Eclipse environment, a lot of features will be available.

ViZ Supporters: