An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
-
Updated
Oct 13, 2024 - Jupyter Notebook
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Compositional Differentiable Programming Library
A symbolic Java virtual machine for program analysis, verification and test generation
Deep.Net machine learning framework for F#
Symbolic Execution Engine for Boogie
A high-performance, parallel, compilation-based symbolic execution engine
Monster is a symbolic execution engine for 64-bit RISC-U code
Symbolic Execution Engine Modoki
Abstract Proven Symbolic Execution Engine
A HL Symbolic Execution Engine Prototype for Reachability
Artifact Evaluation, PLDI'20
BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak
A small RISC-V symbolic execution engine
Add a description, image, and links to the symbolic-execution-engine topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-execution-engine topic, visit your repo's landing page and select "manage topics."