research
∙
10/11/2022
The Design and Regulation of Exchanges: A Formal Approach
We use formal methods to specify, design, and monitor continuous double ...
share
research
∙
04/17/2021
Verified Double Sided Auctions for Financial Markets
Double sided auctions are widely used in financial markets to match dema...
research
∙
07/18/2020
Formally Verified Trades in Financial Markets
We introduce a formal framework for analyzing trades in financial market...
research
∙
07/18/2019
Formal verification of trading in financial markets
We introduce a formal framework for analyzing trades in financial market...
research
∙
09/22/2015