A list of companies that use formal verification methodsgithub.com2 points·ligurio··0 commentsOpen articleSaveView on HN