Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Linux kernel library functions formally verified.
Fully proved small C functions (examples for verification course).
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
A Study in Implementing Functional Programming Languages
Small examples of ACSL specifications.
Add a description, image, and links to the acsl topic page so that developers can more easily learn about it.
To associate your repository with the acsl topic, visit your repo's landing page and select "manage topics."