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
∙
12/04/2019
A Constructive Formalization of the Weak Perfect Graph Theorem
The Perfect Graph Theorems are important results in graph theory describ...
research
∙
07/18/2019
Formal verification of trading in financial markets
We introduce a formal framework for analyzing trades in financial market...
research
∙
12/28/2018