collaborators

1 paper

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…