Denis Ignatovich

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Automated Verification

Automated Reasoning

Top Venues

Publications

Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
The Imandra Automated Reasoning System (System Description). IJCAR (2) (2020)
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
The Imandra Automated Reasoning System (system description). CoRR (2020)
Grant Olney Passmore, Denis Ignatovich
Formal Verification of Financial Algorithms. CADE (2017)