An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with acsl

A curated list of projects in awesome lists tagged with acsl .

https://github.com/jcarrano/fv-libc

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

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

Last synced: 01 Feb 2025

https://github.com/gpetiot/frama-c-stady

Static & Dynamic Verification of C programs

acsl frama-c software-verification

Last synced: 29 Nov 2024

https://github.com/interpretica-io/acsl-grammar

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

acsl antlr grammar

Last synced: 10 Mar 2025

https://github.com/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.

acsl c formal-methods formal-verification frama-c lsp lsp-client lsp-server vscode-extension

Last synced: 07 Mar 2025

https://github.com/gabrielmajeri/acsl-2017

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

acsl cplusplus

Last synced: 08 Apr 2025