marcoeilers / naginiLinks
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
☆256Updated 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,213Updated last week
- Python interpreter for TLA+ specifications☆113Updated last year
- Types for Python☆87Updated 7 years ago
- A very minimal implementation of the core idea of Hypothesis☆139Updated last year
- A command-line search utility for Python ASTs using XPath syntax.☆255Updated 3 years ago
- Regular expression manipulation library☆375Updated last month
- Python bindings to picosat (a SAT solver)☆192Updated 2 months ago
- Adaptive fuzzing of Hypothesis tests☆98Updated 3 weeks ago
- pySMT: A library for SMT formulae manipulation and solving☆618Updated last month
- ☆37Updated 6 years ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Python code object transformers☆184Updated last year
- An IPython notebook plugin for visualizing ASTs.☆107Updated 9 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆431Updated last month
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- The collection synthesizer☆211Updated 4 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆410Updated last month
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- A Modern Probabilistic Model Checker☆152Updated 3 weeks ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆385Updated this week
- A universal Python parser combinator library inspired by Parsec library of Haskell.☆224Updated last year
- Recursive descent parsing library for Python based on functional combinators☆355Updated last year
- ☆17Updated 4 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 4 years ago
- Python subsets☆41Updated 8 years ago
- Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/☆284Updated last month
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Specify and synthesize systems using symbolic algorithms☆51Updated 11 months ago
- A curated set of links to formal methods involving provable code.☆213Updated 3 years ago