6 lines
163 B
Text
6 lines
163 B
Text
|
KLEE is a symbolic virtual machine built on top of the
|
||
|
|
LLVM compiler infrastructure, and available under the
|
||
|
|
UIUC open source license.
|
||
|
|
|
||
|
|
WWW: http://klee.llvm.org/
|