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  Details

open closed Total
Bug 19 26 45
Feature 3 5 8
Support 0 0 0
Task 0 0 0

View all issues | Summary