VECS Version 2.8
We are pleased to announce a new major release of our formal modeling environment VECS.
In addition to supporting templates that allow you to create multiple instances of a component, we have also revised the modeling of error components.
Knowing how fast your models grow and that it can be a challenge to understand the model, we have added a GraphViz exporter to generate overview graphs of your models. Until now, you had to run GraphViz manually to create images. In the next version, we will make sure that you can view your model in Eclipse.
We will keep you up to date on further improvements to VECS.