runtimeverification / pykLinks
Python tools for the K Framework
☆13Updated last year
Alternatives and similar repositories for pyk
Users that are interested in pyk are comparing it to the libraries listed below
Sorting:
- A formally verified bug finder☆14Updated 6 months ago
- ☆38Updated 9 months ago
- Compositional Verification of Composite Byzantine Protocols☆12Updated 9 months ago
- System for verifying the correctness of generated Copilot programs☆16Updated 3 weeks ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- Exercises for the Dafny Tutorial☆11Updated 7 years ago
- Quantum circuits compiler with staging and continuations☆16Updated 6 months ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- Actor-based Runtime Verification Tool☆17Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆12Updated 2 weeks ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago
- ☆14Updated 4 years ago
- ☆17Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 3 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆23Updated 2 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Formal verification of the Algorand consensus protocol☆27Updated 2 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- ☆49Updated 3 months ago
- A cyclic theorem prover framework.☆32Updated last month
- An encyclopedia of proofs☆60Updated 6 months ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated this week
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆23Updated this week