Smart bounded verification for UML / OCL models
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bounds
Modeling, verifying and generating embedded software with Dezyne
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
Evaluating the Maturity of the Eclipse Modeling Ecosystem
Often, modeling tools are regarded as immature and therefore not ready for industrial adoption. Read on to see if there is any truth in this.
MegaMart2 – Model-based continuous development and runtime validation of complex systems
A new research project focusing on a scalable model-based framework for continuous development and runtime validation of complex systems
Practical and Scalable model-driven verification: Lessons Learnt
Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand
State of the art on static model verification tools
During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos González) conducted an analysis on the field of static model verification, with the intent of shedding some light on what was the current landscape on the area and, if possible, trying...Modeling: all you need to know
