Formal Verification and Accelerated Inference. - Dmitry Strabykin; Vasily Meltsov; Maria Dolzhenkova; Gennady Chistyakov; Alexey Kuvaev (CSOC (1), 2016)