Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)

Grigore Rosu

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)

【24h】

Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)

机译：区块链语言的正式设计，实现和验证（特邀演讲）

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This invited paper describes recent, ongoing and planned work on the use of the rewrite-based semantic framework K to formally design, implement and verify blockchain languages and virtual machines. Both academic and commercial endeavors are discussed, as well as thoughts and directions for future research and development.

机译：这篇受邀的论文描述了有关使用基于重写的语义框架K正式设计，实现和验证区块链语言和虚拟机的最新，正在进行和计划中的工作。讨论了学术和商业方面的努力，以及未来研究和开发的思想和方向。

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2018年第23期|共6页
作者
Grigore Rosu;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
Formal semanticsProgram verificationBlockchain;

机译：形式语义程序验证区块链;

相似文献

外文文献
中文文献
专利

1. Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk) [J] . Grigore Rosu OASIcs : OpenAccess Series in Informatics . 2020,第2期

机译：使用k（邀请的谈话）块语言的正式设计，实施和验证
2. Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) [J] . Grigore Rosu LIPIcs : Leibniz International Proceedings in Informatics . 2018,第28期

机译：区块链语言的正式设计，实现和验证（特邀演讲）
3. Design and Implementation of a Model of a Specification Language for Formal Verification [J] . Kamrul Hasan Talukder, Ahmed Shah Mashiyat, Rezoanoor Rahman Research Journal of Applied Sciences: RJAS . 2008,第4期

机译：形式验证规范语言模型的设计与实现
4. Formal Design, Implementation and Verification of Blockchain Languages (Abstract of Invited Paper) [C] . Grigore Rosu International conference on formal aspects of component software . 2018

机译：区块链语言的形式化设计，实现和验证（特邀论文摘要）
5. Integration of Dynamic Power Management Strategies for System-Level Power Optimization (Low-Power Design) with Its Formal Verification and Implementation. [D] . Ramanbhai, Bhatt Kiritkumar. 2012

机译：用于系统级电源优化（低功耗设计）的动态电源管理策略及其形式验证和实现的集成。
6. Design and Implementation of an Integrated IoT Blockchain Platform for Sensing Data Integrity [O] . Lei Hang, Do-Hyeun Kim 2019

机译：用于感知数据完整性的集成物联网区块链平台的设计与实现
7. Design and Implementation of a Tool for Formal Verification of Systems Specified in RT-Logic Language [O] . Fiedor Jan 2009

机译：RT-Logic语言指定系统形式验证工具的设计与实现

Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)

摘要

著录项

相似文献

相关主题

期刊订阅