|
|
|
@ -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
|