pheras, 20 days ago A List of companies that use formal verification methods in software engineering https://github.com/ligurio/practical-fm
A List of companies that use formal verification methods in software engineering
https://github.com/ligurio/practical-fm