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 条
  • [21] Formal System Modelling Using Abstract Data Types in Event-B
    Furst, Andreas
    Hoang, Thai Son
    Basin, David
    Sato, Naoto
    Miyazaki, Kunihiko
    ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 222 - 237
  • [22] Verification and validation of PDDL descriptions using Event-B formal method
    Fourati, Farah
    Bhiri, Mohamed Tahar
    Robbana, Riadh
    PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2016, : 770 - 776
  • [23] Formal Verification of Stateful Services with REST APIs using Event-B
    Rauf, Irum
    Vistbakka, Inna
    Troubitsyna, Elena
    2018 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (IEEE ICWS 2018), 2018, : 131 - 138
  • [24] Event-B Patterns and Their Tool Support
    Hoang, Thai Son
    Fuerst, Andreas
    Abrial, Jean-Raymond
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 210 - 219
  • [25] Event-B patterns and their tool support
    Thai Son Hoang
    Andreas Fürst
    Jean-Raymond Abrial
    Software & Systems Modeling, 2013, 12 : 229 - 244
  • [26] Event-B patterns and their tool support
    Thai Son Hoang
    Fuerst, Andreas
    Abrial, Jean-Raymond
    SOFTWARE AND SYSTEMS MODELING, 2013, 12 (02): : 229 - 244
  • [27] Formal Verification of a Medical Insurance System Prototype: The Event-B Modeling Approach
    Karmakar, Rahul
    Dutta, Saheli
    JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2022, 17 (01): : 25 - 34
  • [28] Formal analysis of imprecise system requirements with Event-B
    Hong Anh Le
    Nakajima, Shin
    Ninh Thuan Truong
    SPRINGERPLUS, 2016, 5
  • [29] Formal Specification and Verification of Concurrent Agents in Event-B
    Negreanu, Lorina
    Mocanu, Irina
    Florea, Adina Magda
    19TH INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS 2013), 2013, : 155 - 161
  • [30] Formal Verification of SCA Assembly Model with Event-B
    Lahouij, Aida
    Hamel, Lazhar
    Graiet, Mohamed
    2013 NINTH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2013, : 44 - 51
12345