Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification

 (github.com)

2 points | by InputNothing 1 hour ago

1 comments