# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1323868283 -7200
# Node ID eef4d07eff6189296bb722ec0452e9b1938f3805
# Parent  2039dc94e890f4595ba7b6aea2efc046419bd3ba
Program_verification

diff -r 2039dc94e890 -r eef4d07eff61 code-analysis.rst
--- a/code-analysis.rst	Wed Dec 14 15:09:28 2011 +0200
+++ b/code-analysis.rst	Wed Dec 14 15:11:23 2011 +0200
@@ -9,6 +9,10 @@
 ======
 
  * http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
+ * http://en.wikipedia.org/wiki/Automated_code_review
+ * http://en.wikipedia.org/wiki/Program_analysis_%28computer_science%29
+ * http://en.wikipedia.org/wiki/Performance_analysis
+ * http://en.wikipedia.org/wiki/Program_verification
 
 Splint.
 =======