首页> 外文OA文献 >Flow Analysis for Verifying Properties of Concurrent Software Systems

【2h】

Flow Analysis for Verifying Properties of Concurrent Software Systems

机译：并发软件系统性能验证的流程分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Matthew B. Dwyer; Lori A. Clarke; Gleb Naumovich; Jamieson M. Cobleigh;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Flow Analysis for Verifying Properties of Concurrent Software Systems [J] . MATTHEW B. DWYER, LORI A. CLARKE, JAMIESON M. COBLEIGH, ACM transactions on software engineering and methodology . 2004,第4期

机译：验证并行软件系统属性的流分析
2. Verification of concurrent control flow in distributed computer systems [J] . Yau S.S., Hong W. IEEE Transactions on Software Engineering . 1988,第4期

机译：验证分布式计算机系统中的并发控制流
3. On the verification of mission-related properties in software-intensive systems-of-systems architectural design [J] . Eduardo Silva, Thais Batist, Flavio Oquendo Science of Computer Programming . 2020,第Juna15期

机译：关于软件密集型系统架构设计中与任务相关的属性的验证
4. Data flow analysis for verifying properties of concurrent programs [C] . Matthew B. Dwyer, Lori A. Clarke ACM SIGSOFT symposium on Foundations of software engineering . 1994

机译：数据流分析，用于验证并发程序的属性
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. A LabVIEW®-based software for the control of the AUTORAD platform: a fully automated multisequential flow injection analysis Lab-on-Valve (MSFIA-LOV) system for radiochemical analysis [O] . Donato Barbesi, Víctor Vicente Vilas, Sylvain Millet, -1

机译：基于LabVIEW®的软件用于控制AUTORAD平台：用于放射化学分析的全自动多顺序流进样分析实验室阀（MSFIA-LOV）系统
7. Data Flow Analysis for Verifying Properties of Concurrent Programs [O] . Matthew Dwyer, Lori A. Clarke 1994

机译：验证并发程序属性的数据流分析

Flow Analysis for Verifying Properties of Concurrent Software Systems

著录项

引文网络

相似文献

相关主题

期刊订阅