Регистрация программного обеспечения в Роспатенте или Минцифры: что лучше в 2025 году
Программное обеспечение (ПО) представляет собой важный элемент интеллектуальной собственности компании, и способно обеспечить конкурентное преимущество на рынке. Любой элемент кода программы — это результат тщательной работы, требующий охраны. В данной статье мы рассмотрим основные методы...
Создание системы формальной верификации смарт-контрактов. Часть 1: символьная виртуальная машина на php и python
Формальная верификация подобна атомной бомбе в мире информационной безопасности: это средство, которое позволяет найти в программе все баги либо же доказать, что их нет. Разумеется, со своими преимуществами, недостатками и ограничениями. Раньше я описывал основы формальной верификации на примере...
[Из песочницы] Формальная верификация на примере задачи о волке, козе и капусте
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую...