research
∙
05/13/2020
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
The CLEARSY Safety Platform (CSSP) was designed to ease the development ...
share
research
∙
05/13/2020
Low Cost High Integrity Platform
Developing safety critical applications often require rare human resourc...
research
∙
05/13/2020
Applying a Formal Method in Industry: a 25-Year Trajectory
Industrial applications involving formal methods are still exceptions to...
research
∙
05/13/2020