Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
复制标题
使用惰性序列化和区间分析进行并发程序验证
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Nguyen T L
中科院分区：
文献类型：
--
作者：
Nguyen T L
登录
查看更多内容
火星密码
DOI：
--
发表时间：
2014
期刊：
CACM
影响因子：
--
作者：
G. Holzmann
通讯作者：
G. Holzmann
用于无界并发程序安全验证的惰性序列化
DOI：
--
发表时间：
2016
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
Truc L. Nguyen;B. Fischer;S. L. Torre;G. Parlato
通讯作者：
G. Parlato
DOI：
10.5555/3077629.3077662
发表时间：
2016-10
期刊：
2016 Formal Methods in Computer-Aided Design (FMCAD)
影响因子：
--
作者：
Ermenegildo Tomasco;Truc L. Nguyen;Omar Inverso;B. Fischer;S. L. Torre;G. Parlato
通讯作者：
Ermenegildo Tomasco;Truc L. Nguyen;Omar Inverso;B. Fischer;S. L. Torre;G. Parlato
DOI：
10.1007/978-3-642-54862-8_30
发表时间：
2014-04
期刊：
--
影响因子：
--
作者：
Ermenegildo Tomasco;Omar Inverso;B. Fischer;S. L. Torre;G. Parlato
通讯作者：
Ermenegildo Tomasco;Omar Inverso;B. Fischer;S. L. Torre;G. Parlato
SANTE 工具：C 程序调试的值分析、程序切片和测试生成
DOI：
--
发表时间：
2011
期刊：
TAP@TOOLS
影响因子：
--
作者：
O. Chebaro;N. Kosmatov;Alain Giorgetti;J. Julliand
通讯作者：
J. Julliand