longdivision
- Karma
- 5
- Created
- February 25, 2012 (14y ago)
- Submissions
- 0
- You don’t need to build a narrative (medium.com)
-
I'm currently taking a formal methods course at university and a couple of names thrown around as users of FMs were Microsoft (for static analysis of drivers) and Altran Praxis. Coverity were also mentioned for…