Add new category, program verification.

The inaugural paper in this category describes using Coq to create a formalised subset of the x86 architecture.
10 years ago · 7d7754b752
parent bb28e9bf05
commit 7d7754b752
1 changed files with 3 additions and 0 deletions
--- a/program_verification/README.md
+++ b/program_verification/README.md
@ -0,0 +1,3 @@
+# Program Verification
+
+* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)