首页> 外文OA文献 >Algorithms and Tools for Verification and Testing of Asynchronous Programs

【2h】

Algorithms and Tools for Verification and Testing of Asynchronous Programs

机译：验证和测试异步程序的算法和工具

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Wang Zilong;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Algorithmic Verification of Asynchronous Programs [J] . P. Ganty, R. Majumdar ACM Transactions on Programming Languages and Systems . 2012,第1期

机译：异步程序的算法验证
2. Diagnostic test cases for verifying surface heat transfer algorithms and boundary conditions in building energy simulation programs [J] . Paulo Cesar Tabares-Velasco, Brent Griffith Journal of building performance simulation . 2012,第5期

机译：诊断测试用例，用于验证建筑能耗模拟程序中的表面传热算法和边界条件
3. Asynchronous analysis of parallel dynamic programming algorithms [J] . Lewandowski G., Condon A. IEEE Transactions on Parallel and Distributed Systems . 1996,第4期

机译：并行动态规划算法的异步分析
4. An Educational Logic Tool for the Formal Verification, Design by Contract, and Algorithmic Debugging of Imperative Programs [C] . Rafael del Vado Virseda, Eva Pilar Orna Ruiz, Eduardo Berbis Gonzalez, International Conference on Frontiers in Education . 2011

机译：用于正式验证，签约设计的教育逻辑工具，以及势在必行计划的算法调试
5. Algorithms and methodology to design asynchronous circuits using synchronous CAD tools and flows. [D] . Vij, Vikas S. 2013

机译：使用同步CAD工具和流程设计异步电路的算法和方法。
6. Ivy: A Multi-modal Verification Tool for Distributed Algorithms [O] . Kenneth L. McMillan, Oded Padon -1

机译：常春藤：用于分布式算法的多模态验证工具
7. Algorithmic Verification of Asynchronous Programs [O] . Ganty, Pierre, Majumdar, Rupak 2011

机译：异步程序的算法验证
8. Evaluation of Verification and Testing Tools for Fortran Programs. [R] . smith, k. a. 1980

机译：评估Fortran程序的验证和测试工具。

Algorithms and Tools for Verification and Testing of Asynchronous Programs

著录项

引文网络

相似文献

相关主题

期刊订阅