Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification

2 pointsposted 7 hours ago
by InputNothing
(github.com)

1 Comments