Результаты поиска по запросу «[формальная верификация]» / Хабр

ymn 7 июня 2013 в 09:26

Мягкое введение в Coq: начало
- Функциональное программирование
- Tutorial
... формальную верификацию – формальное доказательство соответствия предмета верификации его формальному ... п. Процедура формальной верификации – это довольно ... ее соответствие формальному описанию. ...
Читать дальше →
- +20
- 15,9k
- 17
ymn 10 июня 2013 в 13:49

Мягкое введение в Coq: индуктивные определения
- Функциональное программирование
- Tutorial
В предыдущей части мы научились задавать новые типы и строить функции над их значениями. В этой небольшой заметке я более подробно остановлюсь на индуктивных определениях, чтобы внести ясность и ...
Читать дальше →
- +10
- 5,2k
- 2
ymn 11 июня 2013 в 09:23

Мягкое введение в Coq: используем тактики
- Функциональное программирование
Доказательство упрощением Итак, в предыдущих частях мы определили новые типы данных и функции над ними. Настало время обратиться к вопросу о том, как сформулировать и доказать их свойства и поведение ...
Читать дальше →
- +9
- 4,8k
- 5
ymn 3 июля 2013 в 12:01

Мягкое введение в Coq: структуры данных и функции высших порядков
- Функциональное программирование
- Tutorial
Пары и списки В предыдущих частях мы научились задавать новые типы данных, определять функции над ними и доказывать их корректность с помощью распространенных тактик. Настало время определить ...
Читать дальше →
- +9
- 4,7k
- 3
defanor 7 июля 2014 в 15:26

Обзор языка Idris
- Функциональное программирование
- Из песочницы
... прикладных программ посредством формальной верификации оных. И здесь ... , технические задания, сопровождаемые формальными спецификациями или даже ... книги как списки формальных спецификаций доказанных теорем ...
Читать дальше →
- +29
- 18,1k
- 7
worldmind 17 декабря 2016 в 20:54

Почему земляне делают глючный софт и железо
- Искусственный интеллект,
- Будущее здесь
... проблему с помощью формального алгоритма работающего абсолютно ... есть. Есть например формально верифицированное ядро seL4 ...
Читать дальше →
- +15
- 40,2k
- 306
m1rko 24 января 2019 в 18:47

Микроядро seL4. Формальная верификация программ в реальном мире
- Перевод
... доказательства безопасности системы. Формальная верификация Доказательства математической корректности ... конфигурации программного обеспечения). Формальная верификация делает эти предположения ...
Читать дальше →
- +43
- 8,9k
- 31
scp1001 22 апреля 2019 в 15:42

Формальная верификация на примере задачи о волке, козе и капусте
- Из песочницы
... интернета тематика формальной верификации освещена недостаточно, ... формальная верификация и зачем она нужна. Под формальной верификацией ... её безопасность. Формальная верификация является самым ...
Читать дальше →
- +32
- 8,2k
- 50
scp1001 29 апреля 2019 в 17:32

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python
... подробное описание формальной верификации можно увидеть на ... главным инструментом для формальной верификации программ. Например, ... любых контрактов формальная верификация будет особенно востребована ...
Читать дальше →
- +9
- 4,2k
- 3
YuriPanchul 3 сентября 2019 в 08:32

Политкорректность проникает в Россию через книги про проектирование чипов на SystemVerilog для не-начинающих
... Логическое проектирование и верификация систем на SystemVerilog ... с помощью программ формальной верификации. Эти три ... также использования программ формальной верификации. Assertion-based formal ...
Читать дальше →
- +21
- 13,9k
- 40
MaksimSidorov 19 мая 2020 в 10:34

Всесторонний статический анализ с применением продуктов Polyspace
... Polyspace осуществляет статическую верификацию всех возможных вариантов ... на формальных методах абстрактной интерпретации и результаты верификации ... вам квалифицировать продукты верификации Polyspace для ...
Читать дальше →
- +3
- 1,2k
- 2
rusted_mind 21 июля 2020 в 13:14

Анализ кода систем повышенной надежности
... требуют высокой надежности. Формальная верификация кода Итак, ... случае требуется применять формальную верификацию исходного кода. ... это за зверь? Формальная верификация — это доказательство ...
Читать дальше →
- +5
- 2,7k
- 8
JetBrains_Education 29 октября 2020 в 19:53

Семинары лаборатории языковых инструментов JetBrains Research
- Блог компании Образовательные проекты JetBrains
... формализацию и верификацию семантики языков ... частичные вычисления; формальную верификацию и применение SMT ... это метод автоматической формальной верификации программ. На сегодняшний ...
Читать дальше →
- +8
- 1,2k
- Комментировать

Публикации 13

Хабы и компании 1

Пользователи

Комментарии 349

Мягкое введение в Coq: начало

Мягкое введение в Coq: индуктивные определения

Мягкое введение в Coq: используем тактики

Мягкое введение в Coq: структуры данных и функции высших порядков

Обзор языка Idris

Почему земляне делают глючный софт и железо

Микроядро seL4. Формальная верификация программ в реальном мире

Формальная верификация на примере задачи о волке, козе и капусте

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Политкорректность проникает в Россию через книги про проектирование чипов на SystemVerilog для не-начинающих

Всесторонний статический анализ с применением продуктов Polyspace

Анализ кода систем повышенной надежности

Семинары лаборатории языковых инструментов JetBrains Research

Самое читаемое

Минуточку внимания

Ваш аккаунт

Разделы

Информация

Услуги