From b815ad6b1593f5fde6f02ea3ba302a9cc32f07cd Mon Sep 17 00:00:00 2001 From: ZJ Date: Thu, 5 Sep 2019 20:19:03 -0400 Subject: [PATCH] faults and validation gets header info --- faults_and_verification/README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/faults_and_verification/README.md b/faults_and_verification/README.md index 40e0797..a2cc2f7 100644 --- a/faults_and_verification/README.md +++ b/faults_and_verification/README.md @@ -1,5 +1,8 @@ # Program Faults and Verification +[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)