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...
UMLtoCSP – Check the quality of your UML class diagrams with Constraint Programming
UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a number of correctness properties, including weak and strong satisfiability (to make sure your model can be instantiated in a way that no constraints are violated) or...
Checking Model Transformation Refinement
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research and the Universidad Autonoma de Madrid, will present research results regarding the use of bounded model finding to analyze refinement relationships between model...
Lightweight mechanism to reason on String values
Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted for publication in the Journal of Systems and Software Modeling (SoSyM). The abstract is the following. You can also read the full paper Models play a key role in...
A model-driven approach for the extraction of network access-control policies
(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself). Network security policies constitute a critical concern when developing and maintaining corporate information systems....Modeling: all you need to know
