translate English to French: The system can be proven directly with Composys.
Les systèmes peuvent être prouvés directement sous Composys.