CLEARSY attended a Seminar,”Integration of Tools for Rigorous Software Construction and Analysis” (13372), held at Schloss Dagstuhl in Germany (8-13 September 2013).
The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by their mathematical rigor and have proved to be industrially viable. A main goal of the seminar is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine related approaches for accomplishing the various tasks in modelling, experimental validation, and mathematical verification of reliable high-quality hardware/software systems. CLEARSY used Atelier B, ProB and BMotionStudio for B and Event-B modelling.