首页> 外文OA文献 >Automatic testing equivalence verification of spi calculus specifications

【2h】

Automatic testing equivalence verification of spi calculus specifications

机译：spi演算规范的自动测试等效性验证

页面导航

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

著录项

作者
Luca Durante; Riccardo Sisto; Adriano V Alenzano;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS [J] . IVAN CIBRARIO B., LUCA DURANTE, RICCARDO SISTO, International Journal of Foundations of Computer Science . 2006,第4期

机译：在SPI计算中测试对称性的探索符号
2. Network integration testing: concepts, test specifications and tools for automatic telecommunication services verification [J] . Giulio Maggiore, Giulio Brusasco, Marco Vecchiato Computer networks . 2000,第5期

机译：网络集成测试：用于自动电信服务验证的概念，测试规范和工具
3. Provably correct Java implementations of Spi Calculus security protocols specifications [J] . Alfredo Pironti, Riccardo Sisto Computers & Security . 2010,第3期

机译：可证明正确的Spi Calculus安全协议规范的Java实现
4. Exploiting Symmetries for Testing Equivalence in the Spi Calculus [C] . Ivan Cibrario B., Luca Durante, Riccardo Sisto, International Conference on Automated Technology for Verification and Analysis(ATVA 2004); 20041031-1103; Taipei(CT) . 2004

机译：利用对称性测试Spi演算中的等效性
5. Formal specification and verification of the OSI session layer using the Calculus of Communicating Systems (CCS). [D] . Barjaktarovic, Milica. 1995

机译：使用通信系统演算（CCS）对OSI会话层进行正式规范和验证。
6. Bayesian Hodges-Lehmann tests for statistical equivalence in the two-sample setting: Power analysis type I error rates and equivalence boundary selection in biomedical research [O] . Riko Kelter 2021

机译：Bayesian Hodges-Lehmann测试统计当量的两个样本设置：功率分析I型错误率和生物医学研究中的等效边界选择
7. Spi2Java: automatic cryptographic protocol java code generation from spi calculus [O] . Pozza, Davide, Sisto, Riccardo, Durante, L. 2004

机译：Spi2Java：从spi演算自动生成密码协议Java代码
8. Specification and Equivalence Verification of Sequential Circuits via VHDL. [R] . Miller, R. L. 1990

机译：基于VHDL的时序电路规范和等效性验证。

Automatic testing equivalence verification of spi calculus specifications

著录项

引文网络

相似文献

相关主题

期刊订阅