diff options
| -rw-r--r-- | www/Documentation.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/www/Documentation.html b/www/Documentation.html index cf20cc5d..98d4ef1f 100644 --- a/www/Documentation.html +++ b/www/Documentation.html @@ -35,6 +35,13 @@ the KLEE solver (kleaver). </li> + <li> + <a href="http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/">Solving a maze with KLEE</a>: + + A nice explanation of how symbolic execution can be used to generate + interesting program inputs. The example shows using KLEE to find all the + solutions to a maze game. + </li> </ol> </div> </body> |