We are thrilled to announce a new major Version of our formal modeling environment VECS.
Besides support for templates that allow you to easily create several instances of a component we also refactored the modeling of failure components.
Because we know, how fast your models are growing and that it can be challenging to understand the model, we added a GraphViz exporter to generate overview graphs of your models.
By now you have to manually run GraphViz for the image creation. In the next release, we will take care that you can view your model inside eclipse.
Stay tuned for further improvements of VECS.