A shallow dive into formal verification

4 points | by wslh 9 hours ago