AI4FM 2011 .:. posted by ClearSy the 04-04-11 at 16h01 .:.
|
 ClearSy is taking part in the AI4FM 2011 workshop, which will be held on 28 and 29 April 2011 at Edinburgh university (More informations...).
The aim of the AI4FM project is to introduce some Artificial Intelligence techniques in order to optimise the automatic demonstration of mathematic models.
As guest speaker, Thierry Lecomte will present "Yet Another Theorem Prover in Distress". |
|
|
FM2011 Industry Day .:. posted by ClearSy the 26-08-10 at 09h48 .:.
|
 ClearSy is pleased to announce its participation to the FM2011 Industry Day, the 17th International Symposium on Formal Methods, an event which will take place from the June 20th to 24th 2011 in Limerick, in Ireland.
Thierry Lecomte, from ClearSy, will co-chair the Industry Day, aimed at the use of formal methods in the development of industrial safety critical systems. |
|
|
Nantes 2010 Conference : "From Research to Teaching Formal Methods - the B Method" .:. posted by ClearSy the 26-05-10 at 14h50 .:.
|
 The University of Nantes is organizing the 3rd edition of the conference dedicated to B method. It will be held June 7, 2010, at the Cité Internationale des Congrès and will gather many actors of the B Community.
ClearSy will participate and make a presentation of its B dissemination and exploitation activities over the past ten years through its Atelier B tool, used to develop proven systems and softwares. |
|
|
Bibliography: Jean-Raymond Abrial publishes a book dedicated to Event-B .:. posted by ClearSy the 26-05-10 at 14h45 .:.
|
 Jean-Raymond Abrial’s Event-B book has been published in may 2010.
This 600+ page book, written in english, is entitled “Modeling in Event-B: System and Software Design”.
It deals with system and software modeling in Event-B, a language issued from the B Method and allowing the description of systems with events. |
|
|
Workshop on B Dissemination .:. posted by ClearSy the 09-03-10 at 08h33 .:.
|
 Clearsy is pleased to announce its participation to the Workshop on B Dissemination [WOBD], a satellite event of SBMF 2010 which will be held at Natal, Brazil, on 8-9 November 2010.
This B / Event-B workshop is organized within the framework of the DEPLOY project. Its objectives are to present current status and ongoing research and development related to B and event B languages, as well as applications to industry size problems. Topics addressed by the workshop are many:
- Tool development (language extensions, external provers, code generation, etc.)
- Modelling challenges (real time properties, probabilistic refinement, design patterns, high order logic, etc.)
- Deployment (methodology, cases-studies, return of experience, scaling up, etc.)
|
|
|
ClearSy Announces Participation in FMICS 2010 .:. posted by ClearSy the 08-02-10 at 14h32 .:.
|
 ClearSy is pleased to announce its participation to the 15th edition of FMICS 2010 (Formal Methods for Industrial Critical Systems) which will be held at Anwerp, Belgium, on 20-21 September 2010. This event is aimed at the use of formal methods in the development of industrial safety critical systems...
FMICS 2010 Website |
|
|
ClearSy participated to the FMICS 2009 .:. posted by ClearSy the 27-11-09 at 16h12 .:.
|
 ClearSy participated to the 14th edition of the FMICS 2009, that held take place at the University of Eindhoven from the November 2 to 3rd 2009. This event was a working group on formal methods used in the development of critical industrial systems.
Over 40 people attended the event.
To see the program for these 2 days, please visit the official web site.. |
|
|
Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 .:. posted by ClearSy the 02-11-09 at 10h55 .:.
|
 ClearSy will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 hour courses will focus on introducing students to the method B. |
|
|
Smart Event 2009 - Forcoment Project Presentation, developed with Atelier B .:. posted by ClearSy the 29-10-09 at 10h55 .:.
|
 Marc Benveniste (STMicroelectronics) presented at the Smart Event 2009, an article entitled "A Proved "Correct by Construction" Memory Protection Unit", in relation with the Forcoment Project, developed in collaboration with ClearSy and its B tool, Atelier B. His presentation, addressed more specifically :
- The memory protection unit (MPU) used in the new ST23 family of product
- Main design steps followed to achieve the development of code
- Comparison with the code for the same macro-cell developed in a traditional flow.
Discover SMART EVENT 2009 Web Site. |
|
|
|
