diff --git a/README.md b/README.md
index 14e9f3f..ecf2646 100644
--- a/README.md
+++ b/README.md
@@ -43,6 +43,7 @@ A lot of work is happening in academia and industry on tools to perform dynamic
 12. [SmaliSCA](https://github.com/dorneanu/smalisca) - Smali Static Code Analysis
 13. [CFGScanDroid](https://github.com/douggard/CFGScanDroid) - Scans and compares CFG against CFG of malicious applications
 14. [Madrolyzer](https://github.com/maldroid/maldrolyzer) - extracts actionable data like C&C, phone number etc.
+15. [SPARTA](http://www.cs.washington.edu/sparta) - verifies (proves) that an app satisfies an information-flow security policy; built on the [Checker Framework](http://checkerframework.org/)
 
 ## DYNAMIC ANALYSIS TOOLS