00

KLEE

Tool ☆ WATCH ⎘ SHARE

First seen 6/6/2026

Last seen 9/5/2026

Evidence 17 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · KLEE · depth=1

02

RELATIONSHIPS

7 connections

Processor Verification using Symbolic Execution: A RISC-V Case-Study ← uses 100% 5e evidence

The paper uses KLEE as the symbolic execution engine for the co-simulation.

Symbolic Execution Interface ← uses 90% 2e evidence

The symbolic execution interface connects the co-simulation with the KLEE engine.

Symbolic Execution ← uses 95% 2e evidence

KLEE is a state-of-the-art symbolic execution engine used to implement symbolic execution.

Symbolic Execution Interface uses → 90% 2e evidence

KLEE is connected to the co-simulation through the symbolic execution interface.

Symbolic Execution Co-Simulation ← uses 90% 1e evidence

Bruns et al. integrate KLEE as symbolic execution engine in co-simulation frameworks.

Symbolic Execution implements → 100% 1e evidence

KLEE made symbolic execution techniques applicable to large software

Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking ← mentions 85% 1e evidence

The paper mentions KLEE as an alternative symbolic execution tool for equivalence checking.