Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for symbolic smt
smt
x
symbolic
x
14 search results found
Manticore
⭐
3,535
Symbolic execution tool
Symbolic Execution
⭐
412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Apalache
⭐
387
APALACHE: symbolic model checker for TLA+ and Quint
Pysymemu
⭐
301
An amd64 symbolic emulator
R2con2020_deobfuscation
⭐
63
Saw Core
⭐
51
The SAW core language.
Automata
⭐
49
Automata and transducer library for .NET
Smt Kit
⭐
34
C++11 library for many-sorted logics
Reasoningengine
⭐
20
Symbolic analysis of discrete dynamical systems
Symfpu
⭐
18
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Leena
⭐
9
Symbolic execution engine for JavaScript.
Algebra Elementary
⭐
7
An elementary algebra library written in Haskell.
Symbbl
⭐
6
a symbolic analysis model for basic block
Aratha
⭐
5
Multi-solver dynamic symbolic execution for JavaScript
Related Searches
Python Symbolic (449)
Python Smt (108)
C Plus Plus Smt (68)
1-14 of 14 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.