Садыков Рафаэль Фаритович

Публикации в базе данных Math-Net.Ru

1. Полная решающая процедура для теории ограниченной адресной арифметики
   
   Труды ИСП РАН, 33:4 (2021),  177–194
2. InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации
   
   Модел. и анализ информ. систем, 27:4 (2020),  454–471
3. Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT
   
   Труды ИСП РАН, 32:2 (2020),  107–124