Public snapshots of "ACSL by Example"
-
Updated
Jun 17, 2021 - TeX
#
acsl
Here are 29 public repositories matching this topic...
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Fully proved small C functions (examples for verification course).
-
Updated
Jun 26, 2017 - C
Code for America Computer Science League 2018-2019
-
Updated
Oct 16, 2019 - HTML
Static & Dynamic Verification of C programs
-
Updated
Oct 5, 2019 - OCaml
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
-
Updated
Jun 17, 2019 - C
Convert your ACSL scripts to equivalent R code.
-
Updated
Jan 2, 2018 - JavaScript
Программы для работы с репозитарием AstraVer
-
Updated
May 14, 2020 - Perl
A Study in Implementing Functional Programming Languages
c
language
parser
interpreter
compiler
correctness
acsl
twelf
hoare-logic
abstract-machine
functional-programming-language
-
Updated
Aug 17, 2019 - C
Small examples of ACSL specifications.
-
Updated
Feb 25, 2021 - C
A repository for holding solutions to the ACSL 2017-2018 contest problems.
-
Updated
Apr 9, 2018 - Java
-
Updated
Oct 4, 2021 - C
The first practice challenge for the ACSL Competition 2021-2022
-
Updated
Sep 24, 2021 - Python
-
Updated
May 21, 2017 - C
xACSL Assembly
-
Updated
May 15, 2021 - JavaScript
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."