Вопросы с тегом frama--c

1 голос

1 ответ

Проверка битов беззнакового целого числа с помощью леммы frama- c не работает

Mathew / 02 августа 2020

0 голосов

2 ответов

Пример Frama- C acsl max из руководства не работает

gdaras / 07 мая 2020

2 голосов

1 ответ

Появляется плагин для фрагментирования c, который отбрасывает используемые значения

Justus Adam / 04 мая 2020

1 голос

1 ответ

Проверка отсутствия целочисленных циклов без знака

Greenbeard / 04 мая 2020

0 голосов

0 ответов

Доказательство правильности преобразования матрицы в Frama- C

Christina Burge / 28 апреля 2020

3 голосов

1 ответ

Как мне проанализировать сложный проект, такой как open62541?

Lukas / 20 апреля 2020

1 голос

1 ответ

Функция транспонирования матрицы в FRAMA- C

Christina Burge / 07 апреля 2020

2 голосов

1 ответ

frama- c / ACSL / WP: Мощность множества

no_name / 20 марта 2020

0 голосов

0 ответов

Как связать узел c без возврата (побочный эффект) с вызывающим оператором в плагине frama- c pdg?

Seongmin Lee / 11 марта 2020

0 голосов

1 ответ

Как можно сопоставить код CLI frama- c с исходным оператором c? И как мне найти документацию по API-интерфейсу frama- c?

Seongmin Lee / 05 марта 2020

0 голосов

0 ответов

как связать выходные узлы между PDG

Frédéric Dabrowski / 29 февраля 2020

3 голосов

1 ответ

Какие l oop инварианты использовать для целочисленного логарифма?

Pierre Colin / 11 февраля 2020

2 голосов

1 ответ

Как сохранить типы переменных в файл, используя Frama- C

Thuy Nguyen / 09 февраля 2020

2 голосов

1 ответ

Почему Frama- C v20.0 Calcium не поддерживает переопределение typedef в неглобальной области видимости

Thuy Nguyen / 05 февраля 2020

0 голосов

1 ответ

Как установить Frama- C на Manjaro 18.1.5?

Benoît / 16 января 2020

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...