https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2019-03-25T11:56:46Z
Open-Source Projects
Deductive Verification Tools for Linux Kernel - Feature #9563: Investigate less efficient code generation
https://forge.ispras.ru/issues/9563?journal_id=35867
2019-03-25T11:56:46Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9519">Feature #9519</a>: Frama-C CIL is too inefficient</i> added</li></ul>