luigiapetre / Formal-Methods-CoursesLinks
Here we collect worldwide courses teaching formal methods
☆38Updated 6 years ago
Alternatives and similar repositories for Formal-Methods-Courses
Users that are interested in Formal-Methods-Courses are comparing it to the libraries listed below
Sorting:
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆58Updated 6 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆68Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated 2 weeks ago
- The Eldarica model checker☆91Updated 3 months ago
- A curated set of links to formal methods involving provable code.☆212Updated 3 years ago
- A framework for smart contract verification in Coq☆122Updated last week
- PL conference deadline countdowns☆61Updated this week
- Deductive verification infrastructure for probabilistic programs☆22Updated this week
- Definition of the Viper intermediate verification language.☆87Updated this week
- ☆233Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆111Updated this week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆130Updated last month
- Modeling and Proving in Computational Type Theory☆103Updated 3 weeks ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 3 weeks ago
- A Verified Compiler for Gallina, Written in Gallina☆153Updated last month
- Communication between Coq and SAT/SMT solvers☆160Updated 11 months ago
- A foundational framework for modular cryptographic proofs in Coq☆66Updated last week
- Formal verification for OCaml☆266Updated last year
- ☆54Updated 2 weeks ago
- A mechanisation of Wasm in Coq(Rocq)☆108Updated 2 weeks ago
- An automatic recursive function transformer.☆10Updated 2 years ago
- Most influential papers in programming languages☆57Updated 7 months ago
- SampCert : Verified Differential Privacy☆81Updated 4 months ago
- TriCera: a model checker for C programs☆25Updated last week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆149Updated 10 months ago
- ☆27Updated last year
- The Gillian Platform main repository☆88Updated 3 weeks ago
- A gently curated list of companies using verification formal methods in industry☆566Updated 6 months ago
- Visual Studio Code extension for Coq☆406Updated 3 weeks ago