SatyendraBanjare / plt-formal-methods-resourcesLinks
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.
☆61Updated 6 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
Sorting:
- Here we collect worldwide courses teaching formal methods☆39Updated 6 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- A curated set of links to formal methods involving provable code.☆212Updated 3 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated last month
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- ☆233Updated last year
- Collection of resources for research concerning Machine Learning and Formal Methods.☆90Updated 3 years ago
- An automated deductive program verifier based on concurrent separation logic☆20Updated last month
- Communication between Coq and SAT/SMT solvers☆160Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆231Updated this week
- ☆55Updated 2 weeks ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 5 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆121Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 7 months ago
- PL conference deadline countdowns☆62Updated 3 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆31Updated this week
- Modeling and Proving in Computational Type Theory☆115Updated last month
- Libraries useful for Dafny programs☆45Updated last month
- A function definition package for Coq☆232Updated 2 weeks ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆136Updated 9 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 weeks ago
- Randomized Property-Based Testing Plugin for Coq☆269Updated 2 weeks ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- Selected Papers of Dana S. Scott☆163Updated last year
- TriCera: a model checker for C programs☆25Updated last week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 8 months ago
- The Eldarica model checker☆92Updated last week
- Convert Haskell source code to Coq source code.☆87Updated 2 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆28Updated last month
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated this week