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

[aleks_raiden]

Вот это уже интересно, спасибо!

[Compolomus]

А php где?

[scp1001]

Сегодня утром я выложил исходники на github в свободный доступ:
github.com/scp1001/hyperbox
Вся логика VM содержится в 2 файлах, hyperbox.php и hyperbox2.php