Checking consistency of SDL+MSC specifications

被引：0
|
作者：
D'Souza, Deepak [1 ]
Mukund, Madhavan [1 ]
机构：
[1] Chennai Mathematical Institute, 92 G N Chetty Road, Chennai 600 017, India
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2648卷
关键词：
D O I：
10.1007/3-540-44829-2_10
中图分类号：
学科分类号：
摘要：
Temporal logic
引用
收藏
页码：151 / 165
相关论文
共 50 条
  • [21] Performance engineering of SDL MSC systems
    Mitschele-Thiel, A
    Müller-Clostermann, B
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 1999, 31 (17): : 1801 - 1815
  • [22] SMT-Based Consistency Checking of Configuration-Based Components Specifications
    Pandolfo, Laura
    Pulina, Luca
    Vuotto, Simone
    IEEE ACCESS, 2021, 9 (09): : 83718 - 83726
  • [23] A COMMON COMPILER FOR LOTOS AND SDL SPECIFICATIONS
    BINDING, C
    BOUMA, W
    DAUPHIN, M
    KARJOTH, G
    YANG, Y
    IBM SYSTEMS JOURNAL, 1992, 31 (04) : 668 - 690
  • [24] Applying mutation analysis to SDL specifications
    Kovács, G
    Pap, Z
    Le Viet, D
    Wu-Hen-Chang, A
    Csopaki, G
    SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 269 - 284
  • [25] Language agnostic model checking for SDL
    Gaudin, Emmanuel
    Brunel, Eric
    Brumbulli, Mihal
    2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 231 - 240
  • [26] SDL versus C equivalence checking
    Haroud, M
    Biere, A
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 323 - 338
  • [27] Mutation testing applied to validate SDL specifications
    Sugeta, T
    Maldonado, JC
    Wong, WE
    TESTING OF COMMUNICATING SYSTEMS, 2004, 2978 : 193 - 208
  • [28] Test cases selection from SDL specifications
    Bourhfir, C
    Aboulhamid, E
    Khendek, F
    Dssouli, R
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06): : 693 - 708
  • [29] SOFTWARE TESTING BASED ON SDL SPECIFICATIONS WITH SAVE
    LUO, G
    DAS, A
    VONBOCHMANN, G
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (01) : 72 - 87
  • [30] Automated test generation from SDL specifications
    Kerbrat, A
    Jéron, T
    Groz, R
    SDL'99: THE NEXT MILLENNIUM, 1999, : 135 - 151
12345