language verification, construction, and automation
-
Updated
Jun 18, 2019 - Haskell
#
symbolic-execution
Here are 7 public repositories matching this topic...
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
-
Updated
Jan 14, 2021 - Haskell
haskell
verification
symbolic-execution
smt
interactive-fiction-engine
text-adventure-engine
scott-adams
-
Updated
Oct 4, 2020 - Haskell
Language-generic workbench for building static analysis
-
Updated
Oct 5, 2023 - Haskell
A monadic library for symbolic evaluation
-
Updated
Oct 23, 2024 - Haskell
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
-
Updated
Jul 4, 2024 - Haskell
-
Updated
Oct 28, 2024 - Haskell
Improve this page
Add a description, image, and links to the symbolic-execution 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 topic, visit your repo's landing page and select "manage topics."