frama-c

There are 0 repository under frama-c topic.

• fraunhoferfokus / acsl-by-example

  Public snapshots of "ACSL by Example"

  frama-cacslwp-pluginformal-methodsformal-specificationformal-verificationc
  Language:TeX 95

• evdenis / verker

  Linux kernel library functions formally verified.

  acslformal-specificationformal-verificationframa-clibfuzzerlinux-kernelverification
  Language:C 48

• AllanBlanchard / tutoriel_wp

  Frama-C and WP tutorial

  frama-cformal-methodsformal-verificationformal-specificationcdeductive-reasoning
  Language:TeX 47

• namin / lms-verify

  generative programming & verification

  scalaframa-cmulti-stage-programmingverificationgenerative-programmingc
  Language:C 29

• gpetiot / Frama-C-Mutation

  Generation of mutant programs

  frama-cacsl
  Language:OCaml 20

• evdenis / acsl-proved

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

  cacslframa-cformal-verificationproofs
  Language:C 14

• gpetiot / Frama-C-StaDy

  Static & Dynamic Verification of C programs

  frama-csoftware-verificationacsl
  Language:OCaml 8

• TDacik / Deadlock

  Frama-C plugin for deadlock detection

  deadlock-detectionframa-cstatic-analysis
  Language:OCaml 8

• evdenis / acsl-examples

  Tiny programs with ACSL specifications.

  verificationacslframa-cexamples
  Language:C 7

• jcarrano / fv-libc

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

  acslcembeddedformal-verificationframa-clibcmicrocontrollerstandard-library
  Language:C 7

• cnescatlab / sonar-frama-c-plugin

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

  frama-csonarqube-plugincsonarqubequalityanalysis
  Language:Java 6

• gpetiot / Frama-C-Inline

  Inlining of ACSL predicates and logic functions

  frama-cacsl
  Language:OCaml 3

• GuilhermeBn198 / Program-Slicing_PIC

  exploring program slicing and documenting my discoveries

  cenglishframa-cpt-brslicingstatic-analysisesbmc
  Language:C 2

• Facthunder / frama-c

  Docker image for Frama-C

  frama-cdockerdocker-imageccode-analysisanalyzerstatic-analysis
  Language:Dockerfile 1

• nclv / ensimag-cysec

  Cybersecurity master courses

  openpgpcryptographyhardware-securityeternalbluesoftware-securityframa-copensslaeskangaroo
  Language:Python 1

• 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

  frama-c
  Language:C 0

• pbougou / proglangs

  Programming Languages

  programming-languagesinterpreterframa-cgarbage-collectiontype-inferencehaskellaxiomatic-semanticsdenotational-semanticsscripting-languagesalgorithms
  Language:C 0

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

  cframa-cmathsprove
  Language:C 0

• adishreea / Static-Analysis-using-Frama-C

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

  frama-cstatic-code-analysis
  Language:C

• andreiSaw / verker-master

  frama-cacsllinuxkernelformal-verification
  Language:C

• arepina / strcspn

  acslframa-cc
  Language:C

• evdenis / small-examples

  Small examples of ACSL specifications.

  acslcexamplesformal-verificationframa-c
  Language:C

• mriiad / queue

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

  queueframa-cc-languagebasic-programming
  Language:Coq

• vladkinoman / formal-methods

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

  theory-of-programmingproving-programs-correctstatic-analysisframa-csimplifystudent-projects
  Language:Pascal