Practical and Scalable model-driven verification: Lessons Learnt

Tweet about this on TwitterShare on FacebookBuffer this pageShare on RedditShare on LinkedInShare on Google+Email this to someone

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

Tweet about this on TwitterShare on FacebookBuffer this pageShare on RedditShare on LinkedInShare on Google+Email this to someone

Reply

Your email address will not be published. Required fields are marked *