TL;DR： CMinor-Verifier 是一个自动化软件验证平台，你可以于其中学习&实现自动化软件验证的算法！引子安妮还记得五十年前她第一次来到卡内基音乐厅演奏的情形，台下万人空巷；她还记得她弹的那首曲子，是贝…