![](https://www.clearsy.com/wp-content/uploads/2020/07/jay-hawk-1rEZbPBtb9A-unsplash-e1621520652293.jpg)
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.