首页> 外文OA文献 >The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems

【2h】

The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems

机译：并发工作台：基于语义的并发系统验证工具

页面导航

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

著录项

作者
Rance Cleaveland; Joachim Parrow; Bernhard Steffen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. True Concurrency Semantics: Towards a Verification of Timed Systems [J] . Souad Guellati, Ilham Kitouni, Riad Matmat, International journal of embedded and real-time communication systems . 2014,第2期

机译：真正的并发语义：对定时系统的验证
2. A semantics comparison workbench for a concurrent, asynchronous, distributed programming language [J] . Corrodi Claudio, Heussner Alexander, Poskitt Christopher M. Formal Aspects of Computing . 2018,第1期

机译：并发，异步，分布式编程语言的语义比较工作台
3. ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems [J] . Zbigniew Suraj, Krzysztof Pancerz Fundamenta Informaticae . 2013,第4期

机译：ROSECON：用于综合和验证信息系统指定的并发系统的计算机工具
4. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [C] . Claudio Corrodi, Alexander Heussner, Christopher M. Poskitt International conference on fundamental approaches to software engineering;European joint conferences on theory and practice of software . 2016

机译：并发异步程序的基于图的语义工作台
5. Customizable tools for verifying concurrent systems. [D] . Sims, Steven Thomas. 1997

机译：用于验证并发系统的可定制工具。
6. GENECODIS: a web-based tool for finding significant concurrent annotations in gene lists [O] . Pedro Carmona-Saez, Monica Chagoyen, Francisco Tirado, 2007

机译：GENECODIS：一种基于网络的工具用于在基因列表中查找重要的并发注释
7. The concurrency workbench - a semantics-based tool for the verification of concurrent systems [O] . Cleaveland Rance, Parrow Joachim, Steffen Bernhard 1993

机译：并发工作台-一种基于语义的并发系统验证工具

The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems

著录项

引文网络

相似文献

相关主题

期刊订阅