CCF 形式化方法专业委员会(TCFM)由我国形式化方法领域的多位院士和专家学者根据我国形式化方法领域学术研究和应用发展的需要于2015年11月联合发起成立。

专委会的宗旨是团结、联合和组织形式化方法领域的科技工作者，为他们提供良好的学术交流、 合作、研究平台，促进形式化方法领域的研究工作，为提高我国计算机软件基础研究水平和促进计算机软件学科发展与产业高质量发展贡献自己应有的力量。形式化方法专委涉及如下领域：1）形式化方法理论基础（数理逻辑、自动机理论、计算理论等）；2）编程语言理论（指称语义、操作语义、公理语义、类型理论、函数式编程语言、概率编程语言、量子编程语言等）；3）形式化规约与建模（程序逻辑、时序逻辑、有限自动机、时间自动机、马尔可夫链、马尔可夫决策过程、混成自动机、进程代数、Petri网等）；4）形式化验证技术（约束求解、模型检测、定理证明、抽象解释等）；5）形式化方法的应用（用形式化方法来保证芯片设计、操作系统、协议设计、区块链、编译器、加解密算法等计算机软硬件基础设施的正确性与安全性）。