Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bounds
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
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.
A new research project focusing on a scalable model-based framework for continuous development and runtime validation of complex systems
Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand