Update FurtherReading.md

Herman Venter · web-flow · commit 8b1756a5fa00 · 2018-12-16T13:37:52.000-08:00
diff --git a/documentation/FurtherReading.md b/documentation/FurtherReading.md
@@ -1,5 +1,9 @@
 # Rust static analysis/verification reading and resources
 
+## Abstract interpretation
+
+* [IKOS](https://github.com/NASA-SW-VnV/ikos) A recent open source framework for analyzing C/C++ via LLVM 
+    * Overview [here](http://ti.arc.nasa.gov/publications/16610/download)
 
 ## Rust analysis
 
