mostly on computers and mathematics
Formally verify the correctness of an implementation of multiple precision arithmetic, for example, GNU MP. It is a compactly specifiable problem, yet likely very difficult because of complicated algorithms and low level optimization.
Post a Comment
No comments :
Post a Comment