209 похожих чатов

На каких принципах вы будете строить проверку контрактов?

1 ответов

4 просмотра

Пока только интересуюсь. На вскидку пришло в голову cegar (countr example guided abstractiion). Возможна инструментация байт-кода. Можно применять другие контакты для верификации. Надо изучать вопрос.

Похожие вопросы

Обсуждают сегодня

Карта сайта