Project

General

Profile

Overview

Preliminary manual translations of verified C/ACSL functions into Imperative HOL

Issue tracking  Details

View all issues | Summary | Calendar

Members

Manager: Igor Tarakanov, Mikhail Mandrykin, Pavel Putro, Александр Крюков, Рафаэль Садыков

Developer: Igor Tarakanov, Mikhail Mandrykin, Pavel Putro, Александр Крюков, Рафаэль Садыков

Reporter: Igor Tarakanov, Pavel Putro, Александр Крюков, Рафаэль Садыков

Customer: Igor Tarakanov, Pavel Putro, Александр Крюков, Рафаэль Садыков

Technical Writer: Igor Tarakanov, Александр Крюков

Project Creator: Mikhail Mandrykin