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
Last synced: 10 Mar 2025
https://github.com/pqnelson/ml
A Study in Implementing Functional Programming Languages
abstract-machine acsl c compiler correctness functional-programming-language hoare-logic interpreter language parser twelf
Last synced: 11 May 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
Last synced: 08 Apr 2025