Homepage
Open in app
Sign in
Get started
Top Stories published by Imandra Inc. in June of 2018
All
2018
June
Sort by most read
Kostya Kanishev
in
Imandra Inc.
Jun 19, 2018
Formalising the FIX Protocol in Imandra
Financial markets run on many distributed systems – interconnected with multiple
…
Read more…
470
2 responses
April 2018
July 2018
About
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Tags
Finance
Mathematics
Imandra
Formal Methods
Functional Programming
Editors
Grant Passmore
Denis Ignatovich
Sam Branson
Writers
Ewen Maclean
Kostya Kanishev
Dave Aitken
Matthew Bray
Nicola Mometto
Jamie Smith
Paul Brennan
Sam Branson
Filippo Sestini