Formal methods for cyber-physical systems – Shonan

ClearSy will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south of Tokyo), from the 05th to the 09th of November 2018. This seminar will be an opportunity to review the practices and needs of industry and review how the formal methods could answer it. A […]

ABZ 2014

ABZ 2014 conference was held from June 2d to 6th  in Toulouse. It was attended by about 120 people and allowed B, Z, ASM, Alloy and VDM communities  to meet and exchange ideas. The diversity and relevance of the work presented, as well as the presence of significant industrial, reflect a growing force in the […]

Formal Data Validation Tutorial at ABZ 2014, Toulouse

At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The tutorial will happen on June 3rd 2014 from 2:00 pm to 5:30 pm. During this tutorial, formal data validation principles will be exposed (key concepts, mathematical language to express properties, […]

Newcastle University Technical Seminar

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide to improve safety in several railways applications, at various levels and with a wide range of results obtained. This presentation is intended to provide a unified (not agnostic) overview of existing practices and to assess to which […]

CAI 2013 Conference

ClearSy participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013. A talk, entitled “Railways formal data validation“, was given during the industrial session.

Dagstuhl Seminar 2013

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 […]

Technical conference on formal method organized by Aerospace Valley

The Aerospace Valley center (DAS embedded system), with the support of the ISFE theme of the RTRA AE/SE, organized a series of technical conferences on formal methods of development. Clearsy took part in the first conference on November 13th 2012 at the Aeronautic and Space Institute (IAS) in Toulouse, France. During the conference one of […]

From Research to Teaching Formal Methods: the B Method

June 7th 2010, Nantes, France Presentation The workshop “From Research to Teaching Formal Methods: the B Method” was held in Nantes June 7, 2010, at “Journées Scientifiques de l’Université de Nantes”. This workshop was attended by thirty people, coming from France, Germany, Switzerland and Hungary. Various studies on B, Event-B and associated tools have been […]

B Dissemination Day – Satellite event of Grace International Symposium on Advanced Software Engineering 2010

Mars 15th-17th 2010, Tokyo, Japan Presentation The aim of this workshop is to illustrate B/event-B formal modeling as a technique for specifying, designing, coding and validating software-based systems. Backed with the two main open-source modeling platforms (RODIN, Atelier B) and in relation with the growing number of industrial applications in the Railways and in the Smartcard […]