Вопросы с тегом ACSL - PullRequest

Вопросы с тегом ACSL

2 голосов
1 ответ
0 голосов
1 ответ

Эта функция выполняет макет функции, которая возвращает непрерывно растущее значение, пока не...

Rafael Bachmann / 19 ноября 2018
0 голосов
1 ответ

Я хочу найти аннотацию ACSL, которую можно применить к функции или указателю на функцию, чтобы...

user1243488 / 12 ноября 2018
0 голосов
1 ответ

В настоящее время я открываю для себя возможности frama-c, особенно инструменты анализа WP & Value

Eliott.CH / 17 мая 2018
0 голосов
0 ответов

Я хочу определить контракты простых функций (определенные в Руководство ACSL , раздел 2.3.2) из...

Raul Coroban / 04 мая 2018
0 голосов
1 ответ

Я пытаюсь сгенерировать контракты в C с плагином E-ACSL от FRAMA-C для следующей программы: struct...

Raul Coroban / 30 апреля 2018
0 голосов
1 ответ

Я пытаюсь создать аннотированный файл с помощью плагина Frama-C E-ACSL. Я создал следующие файлы:...

Raul Coroban / 26 апреля 2018
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...