Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification(github.com)
2 pointsby InputNothing6 hours ago1 comment