acsl

There are 1 repository under acsl topic.

• fraunhoferfokus / acsl-by-example

  Public snapshots of "ACSL by Example"

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

• evdenis / verker

  Linux kernel library functions formally verified.

  linux-kernellibfuzzeracslverificationframa-cformal-specificationformal-verification
  Language:C 50

• gpetiot / Frama-C-Mutation

  Generation of mutant programs

  frama-cacsl
  Language:OCaml 21

• evdenis / acsl-proved

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

  cacslframa-cformal-verificationproofs
  Language:C 16

• evdenis / spec-utils

  A number of utilities for writing ACSL specifications for a Linux module.

  callgraphslicinglinux-kernel-modulelsmlinuxkernelacsl
  Language:Perl 10

• gpetiot / Frama-C-StaDy

  Static & Dynamic Verification of C programs

  frama-csoftware-verificationacsl
  Language:OCaml 9

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

  cembeddedstandard-librarylibcformal-verificationmicrocontrollerframa-cacsl
  Language:C 7

• YeongJunKim / acsl_drone

  dji_sdk for M600pro

  m600prom600djiacsl
  Language:C++ 5

• interpretica-io / acsl-grammar

  ACSL grammar built up from official specification, with C grammar behind

  acslgrammarantlr
  Language:ANTLR 4

• gpetiot / Frama-C-Inline

  Inlining of ACSL predicates and logic functions

  frama-cacsl
  Language:OCaml 3

• acsl2r / acsl2r

  Convert your ACSL scripts to equivalent R code.

  racslcslantlr-grammar
  Language:JavaScript 2

• pqnelson / ml

  A Study in Implementing Functional Programming Languages

  languageparsercfunctional-programming-languagecorrectnesshoare-logictwelfacslinterpreterabstract-machinecompiler
  Language:C 2

• asubramanian08 / AlphaStar-Ada

  Alphastar Ada master course CC39-21 - Covers several different CP competitions

  codeforcesacslalphastarusaco-silver
  Language:C++ 1

• Awesomeplayer165 / ACSL-AGRAM-with-Python

  The first practice challenge for the ACSL Competition 2021-2022

  pythonacslcard-gameprogramming
  Language:Python 1

• Awesomeplayer165 / ACSL-AGRAM-with-Swift

  The first practice challenge for the ACSL Competition 2021-2022 written in Swift

  swiftacslcard-gamechallengepracticecardgame
  Language:Swift 1

• Burtorustum / ACSL-2018

  A repository for holding solutions to the ACSL 2017-2018 contest problems.

  acsl
  Language:Java 1

• evdenis / git-workflow

  Программы для работы с репозитарием AstraVer

  gitworkflow-automationacslspecifications
  Language:Perl 1

• andreiSaw / verker-master

  frama-cacsllinuxkernelformal-verification
  Language:C

• arepina / acsl

  Code verification task

  acslcverification
  Language:C++

• arepina / acsl-examples

  acslcverification
  Language:C

• arepina / strcspn

  acslframa-cc
  Language:C

• Awesomeplayer165 / ACSL-Time-Sheets-with-Swift

  A Swift program designed to calculate the daily pay for each employee. The Second Challenge in preparing for the ACSL Contest

  employeeprogramswiftacsl
  Language:Swift

• evdenis / small-examples

  Small examples of ACSL specifications.

  acslframa-cexamplesformal-verificationc
  Language:C

• GabrielMajeri / acsl-2017

  C++ solutions for the ACSL contest 2016-2017 edition

  acslcplusplus
  Language:C++

• kylediaz / acsl-wdtpd-interpreter

  An interpreter for the programming language featured in ACSL's "What Does this Program Do" questions

  acslinterpreter
  Language:JavaScript

• ryanrudes / acslbot

  A Discord bot for reporting team results directly from the ACSL leaderboards as they appear

  discordacslbot
  Language:Python

• ThalesGroup / frama-c-lsp

  This repository contains both the server and client software that implement the Language Server Protocol (LSP) for C/ACSL language. The server part is a novel Frama-C plugin called "lsp". The client part is a VsCode extension.

  acslcformal-methodsformal-verificationframa-clsplsp-clientlsp-servervscode-extension
  Language:OCaml

• yikuansun / assemblyer

  xACSL Assembly

  assemblyassembly-languageassembly-language-programmingassemblyscripteducationeducationalacsl
  Language:JavaScript