acsl
Here are 29 public repositories matching this topic...
-
Updated
May 21, 2017 - C
Fully proved small C functions (examples for verification course).
-
Updated
Jun 26, 2017 - C
Convert your ACSL scripts to equivalent R code.
-
Updated
Jan 2, 2018 - JavaScript
A repository for holding solutions to the ACSL 2017-2018 contest problems.
-
Updated
Apr 9, 2018 - Java
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
-
Updated
Jun 17, 2019 - C
A Study in Implementing Functional Programming Languages
-
Updated
Aug 17, 2019 - C
Static & Dynamic Verification of C programs
-
Updated
Oct 5, 2019 - OCaml
Программы для работы с репозитарием AstraVer
-
Updated
May 14, 2020 - Perl
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Small examples of ACSL specifications.
-
Updated
Feb 25, 2021 - C
xACSL Assembly
-
Updated
May 15, 2021 - JavaScript
Public snapshots of "ACSL by Example"
-
Updated
Jun 17, 2021 - TeX
Improve this page
Add a description, image, and links to the acsl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the acsl topic, visit your repo's landing page and select "manage topics."