Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
☆33Oct 29, 2020Updated 5 years ago
Alternatives and similar repositories for open-source-case-studies
Users that are interested in open-source-case-studies are comparing it to the libraries listed below
Sorting:
- Release snapshots of the Frama-C platform for source code analysis☆185Oct 21, 2020Updated 5 years ago
- Public snapshots of "ACSL by Example"☆122Jan 31, 2026Updated last month
- Frama-C and WP tutorial☆70Jan 7, 2026Updated last month
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Sources for the ANSI/ISO C Specification Language manual☆66Oct 29, 2025Updated 4 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Linux kernel library functions formally verified.☆61Jan 11, 2026Updated last month
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 5 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆39Apr 19, 2024Updated last year
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 2 weeks ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- ☆16Feb 20, 2019Updated 7 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- ☆23Mar 24, 2023Updated 2 years ago
- Specification and Analysis for Requirements Tool☆21Mar 10, 2021Updated 4 years ago
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆26May 15, 2024Updated last year
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- Formal Modelling in VDM☆29Updated this week
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated 3 weeks ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆58Dec 24, 2021Updated 4 years ago
- The main codex repository☆24Feb 3, 2026Updated last month
- Sokoban (in Coq) [maintainer=@erikmd]☆24Jan 3, 2025Updated last year
- a RTE-free X.509 parser☆64Oct 24, 2022Updated 3 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆30Feb 14, 2026Updated 2 weeks ago
- ☆38Oct 23, 2021Updated 4 years ago
- Codes and datasets for adaptive spline fitting method SHAPES☆10Sep 27, 2024Updated last year
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆29Dec 16, 2022Updated 3 years ago
- Simple grammar-based test case generator☆40Feb 23, 2026Updated last week
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 10 years ago
- ☆43Nov 2, 2018Updated 7 years ago
- Machine Learning project to identify Japanese characters (hiragana) from a data set.☆14Nov 24, 2018Updated 7 years ago
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆13Updated this week
- Research prototype tool for modular formal verification of C, Rust and Java programs☆475Feb 16, 2026Updated 2 weeks ago
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆50Jan 15, 2026Updated last month
- OCaml library for parsing and pretty printing Python code☆38Mar 15, 2015Updated 10 years ago
- Source code repository for the AISTAT 2023 paper Transport Reversible Jump Proposals.☆10Mar 3, 2023Updated 3 years ago
- Mirror of pyseobnr repository from LIGO☆10Feb 22, 2026Updated last week