Login / Signup
Denis Ignatovich
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Theorem Prover
Automated Verification
Automated Reasoning
High Level
Top Venues
CoRR
IJCAR (2)
CADE
</>
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)