Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2025-06-13 12:54:28 +00:00
Code Issues Projects Releases Wiki Activity

faults and validation gets header info

Browse Source
This commit is contained in:
ZJ 2019-09-05 20:19:03 -04:00
parent ea04d6b250
commit b815ad6b15
No known key found for this signature in database
GPG Key ID: 5FBC4EFA03B99124
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
faults_and_verification/README.md
View File

@ -1,5 +1,8 @@
# Program Faults and Verification # 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 ## Program Verification
* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf) * [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)