A List of companies that use Formal methods in Software engineeringgithub.com/ligurio1 pointAlexDenisov8 years ago