marcoeilers / naginiLinks
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
☆251Updated this week
Alternatives and similar repositories for nagini
Users that are interested in nagini are comparing it to the libraries listed below
Sorting:
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- An analysis tool for Python that blurs the line between testing and type systems.☆1,204Updated this week
- Python interpreter for TLA+ specifications☆113Updated last year
- ☆37Updated 6 years ago
- Types for Python☆87Updated 6 years ago
- A very minimal implementation of the core idea of Hypothesis☆138Updated last year
- ☆17Updated 4 years ago
- Regular expression manipulation library☆374Updated 2 weeks ago
- Extract semantic information about static Python code☆78Updated 2 weeks ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Annotate Python AST trees with source text and token information☆188Updated last month
- Adaptive fuzzing of Hypothesis tests☆97Updated last week
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆430Updated last week
- An IPython notebook plugin for visualizing ASTs.☆107Updated 9 months ago
- pySMT: A library for SMT formulae manipulation and solving☆617Updated last month
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- A Modern Probabilistic Model Checker☆152Updated this week
- Set of tools to play with Python AST.☆87Updated 3 years ago
- Hypothesis extension to allow generating protobuf messages matching a schema.☆42Updated 6 years ago
- A command-line search utility for Python ASTs using XPath syntax.☆253Updated 3 years ago
- Python code object transformers☆184Updated last year
- The collection synthesizer☆211Updated 4 years ago
- Python subsets☆41Updated 8 years ago
- ☆72Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- Python bindings to picosat (a SAT solver)☆192Updated last month
- Design-by-contract in Python3 with informative violation messages and inheritance☆382Updated last year
- Python library to work with algebraic effects☆80Updated 4 years ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Fully automated python fuzzer built to test if code actually is production ready in seconds.☆108Updated 6 months ago