You Don't Know Jack About Formal Verification https://queue.acm.org/detail.cfm?id=3819084 #FormalVerification #SoftwareEngineering #ComputerScience