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 条
  • [31] Model checking of concurrent system with SDL-- specification
    Blaskevic, B
    Dembitz, S
    Knezevic, P
    MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 77 - 80
  • [32] Automated generation of Promela model from SDL specification
    Vlaovic, Bostjan
    Vreze, Aleksander
    Brezocnik, Zmago
    Kapus, Tatjana
    COMPUTER STANDARDS & INTERFACES, 2007, 29 (04) : 449 - 461
  • [33] Design for testability of communication protocols based on SDL specification
    Karoui, K
    Dssouli, R
    Yevtushenko, N
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164
  • [34] Modeling and Verification of Custom TCP Using SDL
    Hu, Kai
    Liu, Cheng
    Liu, Kai
    PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 455 - 458
  • [35] Telephone feature verification: Translating SDL to TLA(+)
    Gibson, P
    Mery, D
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 103 - 118
  • [36] Specifying the Steam-Boiler case study with SDL
    Boudjelal, FA
    Lafaye, JY
    Louis, G
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 491 - 505
  • [37] Task level specification and formal verification of robotics control systems: state of the art and case study
    Kapellos, K
    Simon, D
    Jourdant, M
    Espiau, B
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1999, 30 (11) : 1227 - 1245
  • [38] Toward automatic generation of promela models from SDL specification
    Vlaovic, B
    Vreze, E
    Brezocnik, Z
    Kapus, T
    CONTEL 2005: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS 1 AND 2, 2005, : 639 - 644
  • [39] VLSI SPECIFICATION AND VERIFICATION
    ANTOLA, A
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 403 - 403
  • [40] Deriving an SDL specification with a given architecture from a set of MSCs
    Robert, G
    Khendek, F
    Grogono, P
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 197 - 212
12345