Public snapshots of "ACSL by Example"

Linux kernel library functions formally verified.

Static & Dynamic Verification of C programs

A repository for holding solutions to the ACSL 2017-2018 contest problems.

A number of utilities for writing ACSL specifications for a Linux module.

dji_sdk for M600pro

A Discord bot for reporting team results directly from the ACSL leaderboards as they appear

ACSL Assembly Interpreter

Программы для работы с репозитарием AstraVer

Fully proved small C functions (examples for verification course).

A Study in Implementing Functional Programming Languages

The first practice challenge for the ACSL Competition 2021-2022 written in Swift

A Swift program designed to calculate the daily pay for each employee. The Second Challenge in preparing for the ACSL Contest

Inlining of ACSL predicates and logic functions

Small examples of ACSL specifications.

The first practice challenge for the ACSL Competition 2021-2022

Convert your ACSL scripts to equivalent R code.

Code verification task

Alphastar Ada master course CC39-21 - Covers several different CP competitions