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.
Reporter: Grigoriy Volkov
Customer: Grigoriy Volkov
Technical Writer: Grigoriy Volkov