左正康(1980-), 男, 博士, 副教授, CCF高级会员, 主要研究领域为形式化方法, 智能化软件. ;黄志鹏(1998-), 男, 硕士, 主要研究领域为定理证明, 形式化方法. ;黄箐(1984-), 男, 博士, 副教授, CCF专业会员, 主要研究领域为智能化软件. ;孙欢(1997-), 女, 硕士生, CCF学生会员, 主要研究领域为定理证明, 形式化方法. ;曾志城(1999-), 男, 硕士生, 主要研究领域为定理证明, 形式化方法. ;胡颖(1998-), 女, 硕士, 主要研究领域为定理证明, 形式化方法. ;王昌晶(1977-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为高可信软件, 智能化软件.
王昌晶, E-mail: wcj@jxnu.edu.cn
TP311
国家自然科学基金(61862033, 62262031); 江西省自然科学基金(20212BAB202018); 江西省教育厅科技重点项目(GJJ210307)
左正康,黄志鹏,黄箐,孙欢,曾志城,胡颖,王昌晶. LLRB算法的函数式建模及其机械化验证.软件学报,2024,35(11):5016-5039
复制