More updates.

[libguestfs-talks.git] / 2020-frama-c / 9200-alternatives.html

diff --git a/2020-frama-c/9200-alternatives.html b/2020-frama-c/9200-alternatives.html
index f594042..5969c22 100644 (file)
--- a/2020-frama-c/9200-alternatives.html
+++ b/2020-frama-c/9200-alternatives.html
@@ -17,4 +17,6 @@
 
 <li> <a href="http://compcert.inria.fr/">CompCert</a>
   is INRIA's verified C compiler (not open source).
+
+<li> <a href="https://gitlab.mpi-sws.org/iris/refinedc">RefinedC</a>
 </ul>