首页> 外文OA文献 >Introducing H, an Institution-Based Formal Specification and Verification Language

【2h】

Introducing H, an Institution-Based Formal Specification and Verification Language

机译：介绍H，基于机构的正式规范和验证语言

代理获取

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

页面导航

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

著录项

作者
Răzvan Diaconescu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Introducing H, an Institution-Based Formal Specification and Verification Language [J] . Logica universalis . 2020,第2期

机译：介绍H，基于机构的正式规范和验证语言
2. Extending Formal Security Protocol Specification Languages for use with New Verifications Techniques [J] . LIANG TIAN, REINER DOJEN, TOM COFFEY WSEAS Transactions on Information Science and Applications . 2006,第2期

机译：扩展正式的安全协议规范语言以用于新的验证技术
3. Formal Hardware Specification Languages for Protocol Compliance Verification [J] . ANNETTE BUNKER, GANESH GOPALAKRISHNAN, SALLY A. MCKEE ACM Transactions on Design Automation of Electronic Systems . 2004,第1期

机译：用于协议符合性验证的正式硬件规范语言
4. Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification,and Simulation of i~* Models [C] . Alexei Lapouchnian, Yves Lesperance Conceptual modeling: Foundations and applications: Essays in honor of John Mylopoulos . 2009

机译：使用ConGolog和CASL正式代理规范语言进行i〜*模型的分析，验证和仿真
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. Addressing Challenges in Formal Research on Moribund Heritage Languages: A Path Forward [O] . Roberta DAlessandro, David Natvig, Michael T. Putnam 2021

机译：解决正规研究奄奄一息语言的挑战：前进的道路
7. C, Lambda Calculus and Compiler Verification - a study in Haskell of purely-functional techniques for a formal specification of imperative programming languages and an epistemically-sound verification of their compilers [O] . Zadarnowski Patryk Computer Science Engineering Faculty of Engineering UNSW 2011

机译：C，Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证

Introducing H, an Institution-Based Formal Specification and Verification Language

著录项

引文网络

相似文献

相关主题

期刊订阅