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
Sep 14, 2020 - C
#
symbolic-execution-engine
Here are 10 public repositories matching this topic...
Deep.Net machine learning framework for F#
machine-learning
deep-learning
fsharp
dotnet
gpu
cuda
gpu-acceleration
ndarray
tensor
gpu-computing
differentiation
symbolic-computation
symbolic-execution-engine
-
Updated
Jun 25, 2019 - F#
A symbolic Java virtual machine for program analysis, verification and test generation
-
Updated
Sep 14, 2020 - Java
Symbolic Execution Engine for Boogie
-
Updated
Dec 12, 2019 - C#
Symbolic Execution Engine Modoki
-
Updated
Nov 8, 2017 - Python
Artifact Evaluation, PLDI'20
validation
virtualbox
x86-64
reverse-engineering
evaluation
formal-semantics
symbolic-execution-engine
compiler-optimization
graph-matching
llvm-ir
pldi
verification-conditions
language-semantics
translation-validation
mcsema
symbolic-summaries
verification-queries
plv-pipeline
plv
relevant-targets
detecting-bugs
reproducing-bugs
-
Updated
Apr 18, 2020
Abstract Proven Symbolic Execution Engine
-
Updated
Jul 14, 2019 - C#
-
Updated
Aug 22, 2017 - C
Improve this page
Add a description, image, and links to the symbolic-execution-engine topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-execution-engine topic, visit your repo's landing page and select "manage topics."