Sadykov Rafael Faritovich

Publications in Math-Net.Ru

1. Complete decision procedure for the theory of bounded pointer arithmetic based on quantifier instantiation and SMT
   
   Proceedings of ISP RAS, 33:4 (2021),  177–194
2. InnoChain: a distributed ledger for industry with formal verification on all implementation levels
   
   Model. Anal. Inform. Sist., 27:4 (2020),  454–471
3. Verified Isabelle/HOL tactic for the theory of bounded integers based on quantifier instantiation and SMT
   
   Proceedings of ISP RAS, 32:2 (2020),  107–124