GitHub repository: ligurio/practical-fm
Created: 2018-02-13T16:59:25Z
Description: A gently curated list of companies using verification formal methods in industry