核心概念
金融市場で使用される二重オークションのマッチングアルゴリズムの正確性と公平性を保証するために、形式手法を用いた検証と自動チェッカーの開発が不可欠である。
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh. (2024). Double Auctions: Formalization and Automated Checkers. arXiv preprint arXiv:2410.18751v1.
本論文は、金融市場で使用される二重オークションのマッチングアルゴリズムの正確性と公平性を、形式手法を用いて検証することを目的とする。