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 条
  • [31] Formal verification of smart contracts based on users and blockchain behaviors models
    Abdellatif, Tesnim
    Brousmiche, Kei-Leo
    [J]. 2018 9TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2018,
  • [32] Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol
    Afzaal, Hamra
    Imran, Muhammad
    Janjua, Muhammad Umar
    Gochhayat, Sarada Prasad
    [J]. IEEE ACCESS, 2022, 10 : 8163 - 8183
  • [33] Formal Verification of Blockchain Smart Contracts via ATL Model Checking
    Nam, Wonhong
    Kil, Hyunyoung
    [J]. IEEE ACCESS, 2022, 10 : 8151 - 8162
  • [34] Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
    Bahig, Ghada
    El-Kadi, Amr
    [J]. IEEE ACCESS, 2017, 5 : 4505 - 4516
  • [35] Formal Modeling, Verification and Implementation of a Train Control System
    AskariHemmat, MohammadHossein
    Mohamed, Otmane Ait
    Boukadoum, Mounir
    [J]. 2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 134 - 137
  • [36] Formal Verification for Embedded Implementation of Convex Optimization Algorithms
    Cohen, Raphael
    Davy, Guillaume
    Feron, Eric
    Garoche, Pierre-Loic
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 5867 - 5874
  • [37] Implementation of a semi-formal verification for embedded systems
    Zhu, Y
    Li, X
    Zhao, SY
    Gong, YC
    [J]. ICESS 2005: SECOND INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2005, : 204 - 210
  • [38] THE USE OF CONLAN IN FORMAL SYNTACTIC AND SEMANTIC VERIFICATION OF HARDWARE DESCRIPTION LANGUAGES
    CABODI, G
    CAMURATI, P
    PRINETTO, P
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1985, 16 (2-3): : 196 - 196
  • [39] Formal Verification for Task Description Languages. A Petri Net Approach
    Lopez, Joaquin
    Santana-Alonso, Alejandro
    Diaz-Cacho Medina, Miguel
    [J]. SENSORS, 2019, 19 (22)
  • [40] Formal verification of a memory model for C-like imperative languages
    Blazy, S
    Leroy, X
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 280 - 299
12345