From ea04d6b25022aeee75344cfd21feaf832433da81 Mon Sep 17 00:00:00 2001 From: ZJ Date: Thu, 5 Sep 2019 20:17:12 -0400 Subject: [PATCH] consolidate program verificaitona and program fault detection listings. --- .../README.md | 9 +++++++-- ...-for-syntactic-and-semantic-software-queries.pdf | Bin program_verification/README.md | 3 --- 3 files changed, 7 insertions(+), 5 deletions(-) rename {fault_protection => faults_and_verification}/README.md (71%) rename {program_verification => faults_and_verification}/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf (100%) delete mode 100644 program_verification/README.md diff --git a/fault_protection/README.md b/faults_and_verification/README.md similarity index 71% rename from fault_protection/README.md rename to faults_and_verification/README.md index 68b31aa..40e0797 100644 --- a/fault_protection/README.md +++ b/faults_and_verification/README.md @@ -1,6 +1,11 @@ -# Fault Protection +# Program Faults and Verification -## External Papers +## Program Verification + +* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf) +* :scroll: [Epitaxis: a system for syntactic and semantic software queries](epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf) + +## Fault Protection * [GN&C Fault Protection Fundamentals](https://trs.jpl.nasa.gov/bitstream/handle/2014/41696/08-0125.pdf) > As software becomes more and more integrated in our daily lives, we diff --git a/program_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf b/faults_and_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf similarity index 100% rename from program_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf rename to faults_and_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf diff --git a/program_verification/README.md b/program_verification/README.md deleted file mode 100644 index 7e3318a..0000000 --- a/program_verification/README.md +++ /dev/null @@ -1,3 +0,0 @@ -# Program Verification - -* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)