Blog
FEBRUARY 2023

Blog: Back-to-Back Testing

A new article has been published on the Systerel Blog!

It tells you everything about Back-to-Back Testing (B2BT), a process of automatic generation of tests based on modeling and formal methods, allowing to control compliance of software implementations

Blog
DECEMBER 2020

Blog: new article!

A new article is available on the blog: “Certificate trust chain validation in OPC UA”