Project

General

Profile

Overview

The project aims to improve open source deductive verification tools, so they can be used to prove properties of Linux kernel code. Our efforts are based on 'Frama-C - Jessie plugin - Why3' tool chain.

See build instructions in wiki.

Issue tracking

open closed Total
Bug 11 20 31
Feature 3 2 5
Support 0 0 0
Task 0 0 0

View all issues | Summary