Formal Design, Implementation and Verification of Blockchain Languages

被引：0
|
作者：
Rosu, Grigore [1 ,2 ]
机构：
[1] Univ Illinois, Urbana, IL 61801 USA
[2] Runtime Verificat Inc, Urbana, IL 61801 USA
来源：
PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD) | 2018年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [1] Formal Modeling and Verification of Blockchain System
    Duan, Zhangbo
    Mao, Hongliang
    Chen, Zhidong
    Bai, Xiaomin
    Hu, Kai
    Talpin, Jean-Pierre
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018), 2017, : 231 - 235
  • [2] Concrete impact of formal verification on quality in IP design and implementation
    Rossi, U
    Fedeli, A
    Boschini, M
    Toto, F
    [J]. INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2001, : 38 - 43
  • [3] Design, implementation and formal verification of BGP proxy for mimic router
    Zhang, Jin
    Ge, Qiang
    Xu, Weihai
    Jiang, Yiming
    Ma, Hailong
    Yu, Hongtao
    [J]. Tongxin Xuebao/Journal on Communications, 2023, 44 (03): : 33 - 44
  • [4] Formal Verification of Blockchain Based Tender Systems
    René Dávila
    Rocío Aldeco-Pérez
    Everardo Bárcenas
    [J]. Programming and Computer Software, 2022, 48 : 566 - 582
  • [5] Formal Verification of Blockchain Based Tender Systems
    Davila, Rene
    Aldeco-Perez, Rocio
    Barcenas, Everardo
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2022, 48 (08) : 566 - 582
  • [6] Formal Verification of Code Generators for Modeling Languages
    Leroy, Xavier
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (268):
  • [7] Blockchain-Enabled Federated Learning: A Reference Architecture Design, Implementation, and Verification
    Goh, Eunsu
    Kim, Dae-Yeol
    Lee, Kwangkee
    Oh, Suyeong
    Chae, Jong-Eui
    Kim, Do-Yup
    [J]. IEEE ACCESS, 2023, 11 : 145747 - 145762
  • [8] Survey of Formal Verification Methods for Smart Contracts on Blockchain
    Murray, Yvonne
    Anisi, David A.
    [J]. 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [9] Formal Verification of a Timing Enforcer Implementation
    Chaki, Sagar
    de Niz, Dionisio
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16
  • [10] Formal hardware specification languages for protocol compliance verification
    Bunker, A
    Gopalakrishnan, G
    Mckee, SA
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2004, 9 (01) : 1 - 32
12345