marcoeilers / naginiLinks
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
☆248Updated 3 months ago
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,192Updated 3 weeks ago
- Python interpreter for TLA+ specifications☆114Updated last year
- Python bindings to picosat (a SAT solver)☆190Updated 5 months ago
- Types for Python☆87Updated 6 years ago
- Regular expression manipulation library☆369Updated last year
- A very minimal implementation of the core idea of Hypothesis☆137Updated last year
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆429Updated 2 months ago
- ☆71Updated 4 years ago
- A Modern Probabilistic Model Checker☆150Updated last week
- ☆37Updated 5 years ago
- A command-line search utility for Python ASTs using XPath syntax.☆253Updated 3 years ago
- ☆17Updated 4 years ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- Adaptive fuzzing of Hypothesis tests☆96Updated 2 weeks ago
- Python code object transformers☆184Updated last year
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- An IPython notebook plugin for visualizing ASTs.☆106Updated 7 months ago
- Set of tools to play with Python AST.☆87Updated 2 years ago
- Combine contracts and automatic testing.☆84Updated 3 years ago
- pySMT: A library for SMT formulae manipulation and solving☆616Updated last month
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 4 years ago
- Extract semantic information about static Python code☆78Updated 2 months ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- The collection synthesizer☆211Updated 4 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆403Updated 7 months ago
- Fully automated python fuzzer built to test if code actually is production ready in seconds.☆108Updated 4 months ago
- A Low Barrier Proof Assistant☆123Updated this week
- Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/☆282Updated 10 months ago