frama-c
Here are 28 public repositories matching this topic...
-
Updated
May 21, 2017 - C
Fully proved small C functions (examples for verification course).
-
Updated
Jun 26, 2017 - C
Using an automated software engineering tool like Frama-C to analyze a program or system.
-
Updated
Aug 14, 2017 - C
Programming Languages
-
Updated
Dec 14, 2018 - C
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
-
Updated
Jun 17, 2019 - C
Static & Dynamic Verification of C programs
-
Updated
Oct 5, 2019 - OCaml
(at turn of) 2019/2020: kilka zadań z przedm. Algorytmy zrobionych z dowodami we Frama-C. See the WIP in feature branches. For some other problems from this set done with Spark2014, see also https://github.com/mkf/asdspark
-
Updated
Jan 13, 2020 - C
Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.
-
Updated
Sep 21, 2020 - Pascal
Release snapshots of the Frama-C platform for source code analysis
-
Updated
Oct 21, 2020 - OCaml
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Small examples of ACSL specifications.
-
Updated
Feb 25, 2021 - C
Docker image for Frama-C
-
Updated
Apr 18, 2021 - Dockerfile
Public snapshots of "ACSL by Example"
-
Updated
Jun 17, 2021 - TeX
Github Action for running the Eva plug-in and producing a SARIF report
-
Updated
Oct 20, 2021 - Shell
generative programming & verification
-
Updated
Nov 20, 2021 - C
Improve this page
Add a description, image, and links to the frama-c topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the frama-c topic, visit your repo's landing page and select "manage topics."