A shallow dive into formal verification

3 points | by fbrusch 5 hours ago