首页> 外文OA文献 >Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking

【2h】

Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking

机译：使用模型检查验证并发面向对象软件的原子性规范

页面导航

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

著录项

作者
John Hatcliff; Robby; Matthew B. Dwyer;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Specification and automated verification of atomic concurrent real-time transactions [J] . Cai Simin, Gallina Barbara, Nystrom Dag, Software and systems modeling . 2021,第2期

机译：规范和自动验证原子并发实时交易
2. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures [J] . Abdulla Parosh Aziz, Haziza Fréd́eric, Holík Lukáš, International Journal on Software Tools for Technology Transfer . 2017,第5期

机译：用于高度并发数据结构的集成规范和验证技术
3. Object-oriented design, Jackson system development (JSD) specifications and concurrency [J] . Hull M.E.C., Zarea-Aliabadi A. Software Engineering Journal . 1989,第2期

机译：面向对象设计，Jackson系统开发（JSD）规范和并发
4. Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking [C] . John Hatcliff, Robby, Matthew B. Dwyer Verification, Model Checking, and Abstract Interpretation . 2004

机译：使用模型检查验证并发的面向对象软件的原子性规范
5. Specification and verification of object-oriented programs. [D] . Kirani, Shekhar Hanumanthasetty. 1994

机译：规范和验证面向对象的程序。
6. Viewport: An object-oriented approach to integrate workstation software for tile and stack mode display [O] . Srinka Ghosh, Katherine P. Andriole, David E. Avrin 1997

机译：视口：一种面向对象的方法集成了用于平铺和堆栈模式显示的工作站软件
7. The concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systems [O] . Rance Cleaveland, J Gada, P Lewis, 1994

机译：并发工厂 - 规范，仿真，验证和并发系统实现的实用工具
8. Validation and Verification of Formal Specifications in Object-Oriented Software Engineering [R] . Thomson, S. A. 2000

机译：面向对象软件工程中形式化规范的验证与验证

Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking

著录项

引文网络

相似文献

相关主题

期刊订阅