Project

General

Profile

Overview

VerKer: Verification of Linux Kernel Library Functions

See more details in our wiki.

Issue tracking  Details

open closed Total
Bug 0 2 2
Feature 0 0 0
Support 0 0 0
Task 0 0 0

View all issues | Summary

Members

Manager: Alexey Khoroshilov, Denis Efremov

Developer: Alexey Khoroshilov, Denis Efremov, Mikhail Mandrykin, Nikita Komarov, Vitaly Mordan

Reporter: Alexey Khoroshilov, Denis Efremov, Mikhail Mandrykin, Nikita Komarov, Vitaly Mordan

Technical Writer: Denis Efremov

Project Creator: Denis Efremov

Product Owner: Denis Efremov