runtimeverification / python-semanticsLinks
The semantics of Python in K
☆21Updated 11 years ago
Alternatives and similar repositories for python-semantics
Users that are interested in python-semantics are comparing it to the libraries listed below
Sorting:
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- solver for the reachability modulo theories problem☆60Updated last year
- T2 Temporal Prover☆95Updated 7 years ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- Python term rewriting☆29Updated 12 years ago
- ☆19Updated 8 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- SRI Sally: A model checker for infinite-state systems.☆74Updated this week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- program synthesis is possible☆41Updated 5 years ago
- Communication between Coq and SAT/SMT solvers☆160Updated 9 months ago
- The SAW core language.☆54Updated 4 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- Public snapshots of "ACSL by Example"☆111Updated last month
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆153Updated this week
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Plugin files for editing K files☆11Updated 10 months ago
- ☆36Updated this week
- ☆40Updated 6 years ago
- SPARK 2014 repository for the Why3 verification platform.☆31Updated last week
- ☆40Updated 10 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Symbolic formula representation and solver interaction library☆161Updated last week
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago