#

symbolic-execution-engine

Here are 2 public repositories matching this topic...

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

symbolic-execution boogie symbolic-execution-engine

Updated Dec 27, 2021
C#

mbrown1413 / SymEx

Abstract Proven Symbolic Execution Engine

verification dafny symbolic-execution-engine

Updated Jul 14, 2019
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.

Curate this topic

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."