I’m advocate of pragmatic model verification (in my case, focusing mostly on static model verification approaches, specially using a constraint programming bounded verification approach) and therefore I strongly recommend taking a look at this SAM’14 keynote talk by Lionel Briand on Making model-driven verification practical and scalable: Experiences and Lessons Learnt.

In this talk he shows he managed to use models to effectively verify the quality of different kinds of systems motivated by “decades of research that have not yet significantly and widely impacted practice

Btw, if you enjoyed this talk, you may want to read his (unrelated but also interesting) short paper on Embracing the Engineering Side of Software Engineering

All modeling trends in your inbox

All modeling trends in your inbox

Follow the latest news on software modeling and low-code development

You have Successfully Subscribed!

Pin It on Pinterest

Share This