Register, vote, and volunteer to make an impact during U.S. 2020 elections.
#
z3
Here are 89 public repositories matching this topic...
Verification framework and tool for higher-order Scala programs
-
Updated
Sep 3, 2020 - HTML
Constraint solver based on coverage-guided fuzzing
llvm
jit
fuzzing
smtlib
smtlibv2
z3
constraint-solver
libfuzzer
floating-point-arithmetic
coverage-guided-fuzzing
-
Updated
Sep 5, 2019 - C++
Code and exercises for a workshop on z3 and angr
-
Updated
Feb 26, 2020 - Python
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
-
Updated
May 20, 2018 - Vim script
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
-
Updated
Jan 8, 2017 - C++
A toy code generator (i.e. "program synthesis") using the Z3 solver
-
Updated
Nov 13, 2017 - C++
Intrepyd Model Checker
python
pypi
z3
model-checking
formal-methods
automated-tests
smt-solver
formal-verification
model-checker
-
Updated
Jan 25, 2020 - Python
a GRId LOgic Puzzle Solver library
-
Updated
Jul 16, 2020 - Python
-
Updated
May 20, 2018 - C
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq
ideas
startup
z3
formal-methods
sat-solver
entrepreneurship
software-verification
smt-solver
research-paper
formal-verification
quantum-programming-language
research-data
research-software-engineering
programming-language-theory
ideasworthsharing
-
Updated
Aug 17, 2019
Jupyter notebooks for tutorial on the Z3 SMT solver
-
Updated
Feb 29, 2020 - Jupyter Notebook
Finding bugs in the P4 Compiler using Translation Validation
-
Updated
Sep 3, 2020 - P4
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
prism
architecture
z3
spin
gsn
nusmv
stpa
contract-based-design
requirements-specification
safety-assurance
interface-specification
-
Updated
Aug 26, 2020 - Roff
Sudoku Solver using Z3
-
Updated
Jan 23, 2020 - C++
The Z3 Theorem Prover bindings for Delphi
-
Updated
Mar 10, 2019 - Pascal
https://regexcrossword.com/ solver using Z3py
-
Updated
Jun 30, 2018 - Python
A bounded model checker for an IMP-style imperative language.
-
Updated
Feb 23, 2019 - Rust
-
Updated
Sep 3, 2020 - Python
Improve this page
Add a description, image, and links to the z3 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the z3 topic, visit your repo's landing page and select "manage topics."
It's nice if testing doesn't produce unnecessary artifacts after running with success but keeps relevant info on fail for further inspection.
Pytest should have a nice way of creating fixtures that can post-process a test based on whether it failed or not https://docs.pytest.org/en/latest/example/simple.html#making-test-result-information-available-in-fixtures
If a test fails, then keep the