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 条
  • [1] Teaching Formal Methods: Lessons Learnt from Using Event-B
    Catano, Nestor
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 212 - 227
  • [2] A Formal Approach for a Railway Level Crossing Using the Event-B Method
    Tounsi, Mohamed
    Fakhfakh, Faten
    DISTRIBUTED COMPUTING FOR EMERGING SMART NETWORKS, DICES-N 2023, 2024, 2041 : 131 - 146
  • [3] Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
    Ait Ameur, Yamine
    Ait Sadoune, Idir
    Hacid, Kahina
    Mohand Oussaid, Linda
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (271): : 24 - 33
  • [4] Formal Analysis of BPMN Models Using Event-B
    Bryans, Jeremy W.
    Wei, Wei
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2010, 6371 : 33 - +
  • [5] Formal Specification of Asynchronous Checkpointing using Event-B
    Singh, Natthan
    Chandra, Manik
    Yadav, Divakar
    2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER ENGINEERING AND APPLICATIONS (ICACEA), 2015, : 659 - 664
  • [6] A Formal Approach Combining Event-B and PDDL for Planning Problems
    Ammar, Sabrine
    Bhiri, Mohamed Tahar
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 261 - 268
  • [7] Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks
    Benyagoub, Sarah
    Ait-Amen, Yamine
    Ouederni, Meriem
    Mashkoor, Atif
    Medeghri, Ahmed
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2020, 32 (02)
  • [8] A formal approach for verifying QoS variability in Web services composition using EVENT-B
    Abbassi, Imed
    Graiet, Mohamed
    Boubaker, Souha
    Kmimech, Mourad
    Ben Hadj-Alouane, Nejib
    2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS), 2015, : 519 - 526
  • [9] Formal Analysis of Database Trigger Systems Using Event-B
    Anh Hong Le
    To Van Khanh
    Truong Ninh Thuan
    INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2021, 9 (04) : 1 - 16
  • [10] A graphical tool for formal verification using Event-B modeling
    Rahul Karmakar
    Multimedia Tools and Applications, 2024, 83 : 10899 - 10923
12345