Systerel is specialized in critical software and RAMS.
As part of its growth, Systerel is looking for new talents.
S2OPC is now released under the Apache license!
The S2OPC Safe and Secure implementation of the OPC-UA protocol is now available under the Apache 2.0 license.
Sound Static Analysis for Security workshop
Systerel will take part to the workshop « Sound Static Analysis for Security » at the NIST (National Institute of Standards and Technology) in Maryland (USA) on June 27th and 28th this year.
International ABZ conference 2018
Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will attend the 6th edition of the ABZ international conference in Southampton (UK) from June 5th to June 8th.