中国计算机学会形式化方法专委会为了推广形式化方法，特别设置公众号，促进形式化方法在学术界和产业界的传播，激发更多的人了解和应用形式化方法，引导更多的年轻学子进入这个领域。专栏不定期推送科普教育、产业应用案例、研究人员介绍等。敬请关注！
