Project

General

Profile

0.2

closed

Features: IR-to-SMV translation, formal verification (model checking)

100%

68 issues   (68 closed — 0 open)

Issues by
Bug

24/24

Feature

5/5

Task

39/39