Mercurial Mercurial > tips / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | zip | gz | bz2 | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Program_verification
authorOleksandr Gavenko <gavenkoa@gmail.com>
Wed, 14 Dec 2011 15:11:23 +0200 (2011-12-14)
changeset 1175 eef4d07eff61
parent 1174 2039dc94e890
child 1176 1950067f64c0
Program_verification
code-analysis.rst file | annotate | diff | comparison | revisions 
--- 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.
 =======
tips