open_issues/gcc: a1d48e100791bc67ff355e0931a604e767c827b7 (2012-12-10; be3860ba8df48c...

[hurd-web.git] / open_issues / formal_verification.mdwn

diff --git a/open_issues/formal_verification.mdwn b/open_issues/formal_verification.mdwn
index b7db76e..474670c 100644 (file)
--- a/open_issues/formal_verification.mdwn
+++ b/open_issues/formal_verification.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2010, 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011, 2012 Free Software Foundation,
+Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -15,6 +16,8 @@ Especially in the field of [[DSL]]s, this is used for asserting program codes'
 correctness, as explained in {{$microkernel/barrelfish#fof_plos09}}, for
 example.
 
+See also [[code_analysis]].
+
 [[!toc]]