From 7edb828c2d93c64412bf930ccab5555440c3aa80 Mon Sep 17 00:00:00 2001 From: NewAlexandria Date: Sat, 7 Sep 2019 11:18:05 -0400 Subject: [PATCH] Verification faults dirs (#566) * consolidate program verificaiton and program fault detection listings. * faults and validation gets header info --- .../README.md | 12 ++++++++++-- ...-for-syntactic-and-semantic-software-queries.pdf | Bin program_verification/README.md | 3 --- 3 files changed, 10 insertions(+), 5 deletions(-) rename {fault_protection => faults_and_verification}/README.md (52%) 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 52% rename from fault_protection/README.md rename to faults_and_verification/README.md index 68b31aa..a2cc2f7 100644 --- a/fault_protection/README.md +++ b/faults_and_verification/README.md @@ -1,6 +1,14 @@ -# Fault Protection +# Program Faults and Verification -## External Papers +[Fault detection](https://en.wikipedia.org/wiki/Fault_detection_and_isolation), and [program validation](https://en.wikipedia.org/wiki/Software_verification_and_validation), and [formal validation](https://en.wikipedia.org/wiki/Formal_verification) are highly interrelated topics. Each deal with proving or disproving the correctness of systems as intended, and the classification of incorrect behavior. + + +## 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)