Defense systems
CLEARSY’s know-how is particularly appreciated in the military sector, as it allows the formal modelling of the specifications of certain complex systems, which ensures a safe and systematic verification of these specifications and the absence of contradictions between them.
