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 6 3 9
Feature 0 0 0
Support 0 0 0
Task 0 0 0

View all issues