Вы здесь

Главная

система верификации

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

Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines
Deductive Verification of the Classical Sliding Window Protocol
Specification and verification of the classical sliding window protocol
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN
Верификация С-программ в мультиязыковой системе СПЕКТР
Типовые примеры использования языка Atoment
Типовые примеры использования языка Atoment