The 23rd congress of the Institut pour la Maîtrise des Risques (IMdR – Institute for Risk Management) on the theme “Innovations and risk management for a sustainable future” will be held from October 10th to 13th in Paris (EDF Lab Paris-Saclay).
Systerel will intervene on October 11th, during the “model engineering” session, with a presentation on the subject “Back-to-Back Testing: formal methods to control the conformity of software implementations”.
Back-to-Back Testing (B2BT) is an automatic test generation process based on modelling and formal methods.
The paper, co-authored with EDF R&D Prisme, presents the Back-to-Back Testing technology and its applications in an industrial environment, based on a first successful industrial collaboration with EDF. More info on the congress