9 ms·
There were many prototyoes of certifying compilers and proof-carrying code in academia. The FLINT group by themselves had many. Maybe try building on those.
by nickpsecurity 2mo ago
There were many prototyoes of certifying compilers and proof-carrying code in academia. The FLINT group by themselves had many. Maybe try building on those.
- m1el 2mo agoThank you for the suggestion, I will be sure to learn from those!