#

frama-c

Here are 23 public repositories matching this topic...

fraunhoferfokus / acsl-by-example

Public snapshots of "ACSL by Example"

c formal-methods wp-plugin formal-verification acsl frama-c formal-specification frama

Updated Jun 17, 2021
TeX

evdenis / verker

Linux kernel library functions formally verified.

linux-kernel verification formal-verification acsl frama-c libfuzzer formal-specification

Updated Feb 11, 2021
C

AllanBlanchard / tutoriel_wp

Frama-C and WP tutorial

c formal-methods formal-verification frama-c formal-specification deductive-reasoning

Updated Mar 29, 2022
TeX

namin / lms-verify

generative programming & verification

c scala verification frama-c generative-programming multi-stage-programming

Updated Nov 20, 2021
C

gpetiot / Frama-C-Mutation

Generation of mutant programs

Updated Oct 31, 2018
OCaml

evdenis / acsl-proved

Fully proved small C functions (examples for verification course).

c proofs formal-verification acsl frama-c

Updated Jun 26, 2017
C

evdenis / acsl-examples

Tiny programs with ACSL specifications.

examples verification acsl frama-c

Updated Feb 10, 2017
C

TDacik / Deadlock

Frama-C plugin for deadlock detection

static-analysis deadlock-detection frama-c

Updated Jan 12, 2022
OCaml

gpetiot / Frama-C-StaDy

Static & Dynamic Verification of C programs

software-verification acsl frama-c

Updated Oct 5, 2019
OCaml

cnescatlab / sonar-frama-c-plugin

sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results

c quality analysis sonarqube sonarqube-plugin frama-c

Updated Feb 1, 2022
Java

jcarrano / fv-libc

Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)

c microcontroller embedded libc standard-library formal-verification acsl frama-c

Updated Jun 17, 2019
C

gpetiot / Frama-C-Inline

Inlining of ACSL predicates and logic functions

Updated Sep 19, 2018
OCaml

evdenis / small-examples

Small examples of ACSL specifications.

c examples formal-verification acsl frama-c

Updated Feb 25, 2021
C

pbougou / proglangs

Programming Languages

haskell interpreter algorithms garbage-collection programming-languages type-inference scripting-languages frama-c denotational-semantics axiomatic-semantics

Updated Dec 14, 2018
C

Facthunder / frama-c

Docker image for Frama-C

c docker docker-image static-analysis code-analysis analyzer frama-c

Updated Apr 18, 2021
Dockerfile

mriiad / queue

A complete basic implementation of Queue data structure tested in Frama-c

queue c-language frama-c basic-programming

Updated Jan 5, 2022
Coq

arepina / strcspn

Updated May 19, 2017
C

mkf / asdframac

(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

PierreVerbe / Formal-Approaches

This repository contains the end-of-semester project at ISEP in formal approach. The aim was to prove the proper functioning of a bubble sorter via frama-c.

c maths frama-c prove

Updated Jan 22, 2021
C

andreiSaw / verker-master

linux kernel formal-verification acsl frama-c

Updated May 21, 2017
C

vladkinoman / formal-methods

Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.

static-analysis simplify frama-c student-projects theory-of-programming proving-programs-correct

Updated Sep 21, 2020
Pascal

adishreea / Static-Analysis-using-Frama-C

Using an automated software engineering tool like Frama-C to analyze a program or system.

static-code-analysis frama-c

Updated Aug 14, 2017
C

nclv / ensimag-cysec

Cybersecurity master courses

cryptography aes openssl kangaroo openpgp software-security frama-c hardware-security eternalblue

Updated Jan 21, 2022
Python

Improve this page

Add a description, image, and links to the frama-c topic page so that developers can more easily learn about it.

Curate this topic

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."