GitHub repository: lyubov888L/FairCon
Description: Fairness Verification of Smart Contracts