DECYPHIR
About
Decyphir SAS creates advanced software for testing, verification and validation of cyber-physical systems (CPS).
CPS are complex computer systems in interaction with their environment, such as autonomous cars, robots, medical devices. Decyphir solutions are based on model-based testing techniques using formal methods, optimization and machine learning et aim at finding rare critical test cases, ensuring good testing coverage and in general improving automatization, efficiency and reliability of the design process of CPS of its customers. Decyphir works in close collaboration with research labs, developing and bringing to industry the latest techniques in the domain.
Software
Industry 4.0