1. Julia static analyzer: www.juliasoft.com.
2. Compilers: Principles, Techniques and Tools;Aho,1986
3. Path Invariants;Beyer,2007
4. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software, invited chapter;Blanchet,2002
5. Aaron R. Bradley, Zohar Mann, Henny B. Sipma, What’s decidable about arrays? in: Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2006, Lecture Notes in Computer Science, vol. 3855, Charleston, South Carolina, USA, 2006, pp. 427–442.