SatyendraBanjare / plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
☆55Updated 5 years ago
Alternatives and similar repositories for plt-formal-methods-resources:
Users that are interested in plt-formal-methods-resources are comparing it to the libraries listed below
- Here we collect worldwide courses teaching formal methods☆36Updated 5 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- A web page with resources for teaching with formal methods and tools.☆14Updated last year
- A curated set of links to formal methods involving provable code.☆201Updated 3 years ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- ☆47Updated 3 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆82Updated 3 years ago
- Logic and Mechanized Reasoning☆101Updated last month
- Pedagogical first-order prover in Python☆75Updated last month
- TriCera: a model checker for C programs☆24Updated last week
- Communication between Coq and SAT/SMT solvers☆159Updated 6 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆225Updated 3 weeks ago
- Solver for Constrained Horn Clauses☆37Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Modeling and Proving in Computational Type Theory☆91Updated 8 months ago
- ☆228Updated 7 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆56Updated 11 months ago
- ☆22Updated last month
- SampCert : Verified Differential Privacy☆71Updated 7 months ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month
- PL conference deadline countdowns☆57Updated this week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆115Updated last month
- An automatic recursive function transformer.☆10Updated last year
- A model checker for infinite-state systems.☆74Updated 3 months ago
- ☆16Updated 8 months ago
- A SyGuS Solver☆25Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated last month
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- The Eldarica model checker☆83Updated last week