diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-20 15:36:44 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-20 15:36:44 +0000 |
| commit | 9e5cdc3de7b19e3e4185082fa4f05be220e9cf9c (patch) | |
| tree | 337b8262e4a0fbc042b5199deb05eafab1fc44c1 /www | |
| parent | de7d94e27bc92292c74fd045b2565581694314a7 (diff) | |
| download | klee-9e5cdc3de7b19e3e4185082fa4f05be220e9cf9c.tar.gz | |
Added links to two more systems based on KLEE: Cloud9 and KleeNet.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160548 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -rw-r--r-- | www/Publications.html | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/www/Publications.html b/www/Publications.html index 710ea170..6f0c30a9 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -12,7 +12,7 @@ <!--#include virtual="menu.html.incl"--> <div id="content"> <!--*********************************************************************--> - <h1>KLEE-related publications:</h1> + <h1>KLEE-related Publications and Systems</h1> <!--*********************************************************************--> Below you can find a list of papers that use or extend KLEE. Papers @@ -64,6 +64,8 @@ ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010) <br> April 12-16, 2010, Stockholm, Sweden + <br> + <b>KleeNet is available <a href="https://www.comsys.rwth-aachen.de/research/projects/kleenet/">here</a>.</b> <br><br> </li> @@ -169,6 +171,8 @@ Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea <br/> April 10-13, 2011, Salzburg, Austria + <br/> + <b>Cloud9 is available <a href="http://cloud9.epfl.ch/">here</a>.</b> <br/><br/> </li> @@ -276,7 +280,7 @@ <br> February 25-29, 2012, New Orleans, LA, USA <br> - GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>. + <b>GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>.</b> <br><br> </li> |