Homepage
Open in app
Sign in
Get started
Top Stories published by Imandra Inc. in 2017
All
2017
Sort by most read
Ian Orton
in
Imandra Inc.
Dec 22, 2017
The IEX Auction: Pursuing Greater Clarity
Today, the behaviour of most complex financial systems such as stock exchanges…
Read more…
177
2018
About
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Tags
Ocaml
Verification
Stock Exchange
Formal Methods
Finance
Editors
Grant Passmore
Denis Ignatovich
Ian Orton
Writers
Ewen Maclean
Kostya Kanishev
Dave Aitken
Matthew Bray
Nicola Mometto
John
Jamie Smith
Paul Brennan