Using design patterns in formal methods: An Event-B approach

被引：0
|
作者：
Abrial, J. -R. [1 ]
Hoang, Thai Son [1 ]
机构：
[1] ETH, Zurich, Switzerland
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS | 2008年 / 5160卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [31] Formal Modelling of PBFT Consensus Algorithm in Event-B
    Li, Jie
    Hu, Kai
    Zhu, Jian
    Bodeveix, Jean-Paul
    Ye, Yafei
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [32] Event-B Formalization of Event-B Contexts
    Bodeveix, Jean-Paul
    Filali, Mamoun
    RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 66 - 80
  • [33] Formal Simulation and Verification of Solidity contracts in Event-B
    Zhu, Jian
    Hu, Kai
    Filali, Mamoun
    Bodeveix, Jean-Paul
    Talpin, Jean-Pierre
    Cao, Haitao
    2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 1309 - 1314
  • [34] Formal Modelling of Cruise Control System Using Event-B and Rodin Platform
    Predut, Sorina
    Ipate, Florentin
    Gheorghe, Marian
    Campean, Felician
    IEEE 20TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS / IEEE 16TH INTERNATIONAL CONFERENCE ON SMART CITY / IEEE 4TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS), 2018, : 1541 - 1546
  • [35] Formal Verification of Cloud Resource Allocation in Business Processes using Event-B
    Boubaker, Souha
    Mammar, Amel
    Graiet, Mohamed
    Gaaloul, Walid
    IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, 2016, : 746 - 753
  • [36] Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
    Yadav, Divakar
    Butler, Michael
    METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 152 - +
  • [37] Formal modelling and verifying of intellectualized information management system using Event-B
    Gao, Hongjiang
    Zhao, Yongsheng
    Liu, Jun
    Qin, Zheng
    GENERAL SYSTEM AND CONTROL SYSTEM, VOL I, 2007, : 207 - 209
  • [38] Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist
    Dupont, Guillaume
    Ait-Ameur, Yamine
    Pantel, Marc
    Singh, Neeraj K.
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 153 - 158
  • [39] An Insight into DVB-T System using Formal Modelling in Event-B
    Krayem, Said
    Patikova, Zuzana
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [40] Formal Verification of Run-to-Completion Style Statecharts Using Event-B
    Morris, Karla
    Snook, Colin
    Thai Son Hoang
    Hulette, Geoffrey
    Armstrong, Robert
    Butler, Michael
    SOFTWARE ARCHITECTURE, ECSA 2020 TRACKS AND WORKSHOPS, 2020, 1269 : 311 - 325
12345