Вы здесь

Главная

Ярославль

Связанные издания:

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Алгоритмы списочного декодирования специального класса алгебро-геометрических кодов
Бисимуляция ресурсов в сетях Петри
Верификация автоматных программ в контексте синхронного программирования
Верификация и синтез программ сложения на базе правил корректности операторов
Верификация С-программ в мультиязыковой системе СПЕКТР
Верификация С-программ на основе смешанной аксиоматической семантики
Исследование свойств класса вполне структурированных систем переходов
Модели и алгоритмы математического обеспечения ЭВМ. Сборник научных трудов
Некоторые методы ресурсного анализа сетей Петри
Нестандартная достижимость на ориентированных графах и сетях
Применение сигнальных графов для анализа стационарных и релаксационных характеристик сложных каталитических реакций
Пример верификации в проекте F@BOOL@, основанном на булевских решателях