林惠民
【姓名】 林惠民
【职称】 研究员;
【研究领域】 计算机软件及计算机应用;数学;互联网技术;
【研究方向】 计算机程序的形式语义学及形式化方法的研究
【发表文献关键词】 传值进程,μ-演算,模型检测,测试,高可靠软件,推演完备,形式化方法,Tableau,模态/时序逻辑,判定树,诊断生成,示例,谓词,信息技术,证明图,一阶模态逻辑,谓词m演算,进程代数,系统可靠性,节...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/26 18 22 13 576 8761
中国期刊全文数据库    共找到26篇
[1]刘剑;苏璞睿;杨珉;和亮;张源;朱雪阳;林惠民;.软件与网络安全研究综述[J]软件学报.2018,(01)
[2]林惠民;.网络技术与网络伦理[J]科技导报.2014,(19)
[3]刘大光;林惠民;吴鹏;.一种基于模型的并发系统测试目的描述[J]计算机工程与应用.2007,(25)
[4]薛锐,林惠民.面向传值进程的一阶模态逻辑的可判定性与模型检测[J]中国科学E辑:技术科学.2003,(02)
[5]刘剑,林惠民.传值进程模型检测中诊断信息的生成[J]软件学报.2003,(01)
[6]刘剑,林惠民.谓词μ演算和模态图的语义一致性[J]软件学报.2003,(10)
[7]薛锐,林惠民.On decidability and model checking for a first order modal logic for value-passing processes[J]Science in China(Series F:Information Sciences).2003,(01)
[8]林惠民.移动进程的空间逻辑[J]中国科学E辑:技术科学.2004,(02)
[9]张轶,林惠民.带复杂数据结构的模型检测工具[J]计算机研究与发展.2004,(11)
[10]吴鹏,施小纯,唐江峻,林惠民,陈宗岳.关于蜕变测试和特殊用例测试的实例研究(英文)[J]软件学报.2005,(07)
更多
承担国家科研项目    共找到1个
[1]林惠民;.模型检测的理论、技术与工具[A].中国科学院软件研究所;.项目经费 180万元.2008-03-20.资助文献数 0 篇
更多