acsl
Here are 29 public repositories matching this topic...
An interpreter for the programming language featured in ACSL's "What Does this Program Do" questions
-
Updated
Oct 10, 2023 - JavaScript
Alphastar Ada master course CC39-21 - Covers several different CP competitions
-
Updated
Jan 7, 2023 - C++
-
Updated
Oct 4, 2021 - C
The first practice challenge for the ACSL Competition 2021-2022
-
Updated
Sep 24, 2021 - Python
Public snapshots of "ACSL by Example"
-
Updated
Jun 17, 2021 - TeX
xACSL Assembly
-
Updated
May 15, 2021 - JavaScript
Small examples of ACSL specifications.
-
Updated
Feb 25, 2021 - C
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Программы для работы с репозитарием AstraVer
-
Updated
May 14, 2020 - Perl
Static & Dynamic Verification of C programs
-
Updated
Oct 5, 2019 - OCaml
A Study in Implementing Functional Programming Languages
-
Updated
Aug 17, 2019 - C
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
-
Updated
Jun 17, 2019 - C
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."