4 ms·A List of companies that use Formal methods in Software engineering1 points by AlexDenisov 9y ago