Verification of an SDL specification - A case study

被引：0
|
作者：
Vlaovič, Boštjan [1 ]
Vreze, Aleksander [1 ]
Brezočnik, Zmago [1 ,2 ]
Kapus, Tatjana [1 ]
机构：
[1] University of Maribor, Faculty of Electrical Engineering and Computer Science, Smetanova ulica 17, 2000 Maribor, Slovenia
[2] Laboratory for Microcomputer Systems
来源：
Elektrotehniski Vestnik/Electrotechnical Review | 2005年 / 72卷 / 01期
关键词：
Formal verification - Linear temporal logic (LTL) - Model checking - Specification and description language (SDL) - Spin;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：14 / 21
相关论文
共 50 条
  • [41] Specification, validation and implementation of ATM UNI signaling protocols in SDL
    Dong, YP
    Lu, YH
    Gao, QA
    SDL'99: THE NEXT MILLENNIUM, 1999, : 341 - 353
  • [42] Specification and implementation of distributed systems using SDL-technology
    Kalnin'sh, Ya.Ya.
    Krastin'sh, P.Ya.
    Avtomatika i Vychislitel'naya Tekhnika, 1992, (01): : 19 - 23
  • [43] Application of SDL-92 for the specification of OSI management systems
    Rodríguez, M
    Calmeau, R
    Fernández, E
    INTEGRATED NETWORK MANAGEMENT VI: DISTRIBUTED MANAGEMENT FOR THE NETWORKED MILLENNIUM, 1999, : 447 - 460
  • [44] Security specification and verification
    Fenkam, P
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
  • [45] Automatic translation from SDL specification to distributed Erlang implementation
    Kunstic, M
    Jukic, O
    Mikuc, M
    MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 81 - 84
  • [46] Concurrent specification and timing analysis of digital hardware using SDL
    Turner, KJ
    Argul-Marin, FJ
    Laing, SD
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 1001 - 1008
  • [47] SYMBOLIC SIMULATION FOR FUNCTIONAL VERIFICATION WITH ADLIB AND SDL.
    Cory, W.E.
    Proceedings - Design Automation Conference, 1981, : 82 - 89
  • [48] ` User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes
    Mrasek, Richard
    Muelle, Jutta
    Boehm, Klemens
    Becker, Michael
    Allmann, Christian
    BUSINESS PROCESS MANAGEMENT, BPM 2014, 2014, 8659 : 301 - 316
  • [49] End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software
    Bergue Alves, Miriam C.
    Drusinsky, Doron
    Michael, James Bret
    Shing, Man-Tak
    IEEE SYSTEMS JOURNAL, 2013, 7 (04): : 632 - 641
  • [50] Simulation of IP Mobility Support: An experiment in mobile protocol specification with SDL
    Toro, M
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 119 - 134
12345