2 papers
cs.LO2024
Efficient and Verified Continuous Double Auctions
Mohit Garg, Suneel Sarswat
Continuous double auctions are commonly used to match orders at currency, stock, and commodities exchanges. A verified implementation of continuous double auctions is a useful tool…
cs.LO2024
Double Auctions: Formalization and Automated Checkers
Mohit Garg, N. Raja, Suneel Sarswat +1
Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers ha…