Overview - Deductive Verification Tool for Machine Code - Open-Source Projects

Overview

Issue tracking

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

View all issues | Summary

Members

Manager: Alexander Kamkin, Alexey Khoroshilov, Pavel Putro

Developer: Alexey Khoroshilov, Pavel Putro

Project Creator: Alexey Khoroshilov