We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
Revisiting all aspects of model-driven engineering (application, teaching, verification , tooling, research,…) promoting a lightweight perspective to maximize MDE success and adoption
Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand