Создаем систему формальной верификации смарт-контрактов Waves с нуля. Часть 1: пишем символьную виртуальную машину

0
13

Информационная безопасность
Tutorial
Формальная верификация подобна атомной бомбе в мире информационной безопасности:
это средство, которое позволяет найти в программе все баги либо же доказать, что их нет.
Разумеется, со своими преимуществами, недостатками и ограничениями.
Раньше я описывал основы формальной верификации на примере задачи о Волке, Козе, и капусты. Ее решение и стало основой архитектуры ядра нашей символьной виртуальной машины.
Символьные вычисления представляют собой способ одновременного выполнения программы на широком диапазоне данных и являются главным инструментом для
Источник

ОСТАВЬТЕ ОТВЕТ

Please enter your comment!
Please enter your name here