Keyword:formal specification and verification

Papers
Efficient and Verified Continuous Double Auctions Mohit Garg and Suneel Sarswat EasyChair Preprint no. 10337