Verification faults dirs (#566)

* consolidate program verificaiton and program fault detection listings.
* faults and validation gets header info

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

program_verification/README.md

@@ -1,3 +0,0 @@
-# Program Verification
-
-* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)