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 条
  • [21] THE CCITT-SPECIFICATION AND DESCRIPTION LANGUAGE SDL
    BELINA, F
    HOGREFE, D
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1989, 16 (04): : 311 - 341
  • [22] SDL- and MSC-Based Specification and Automated Test Case Generation for INAP
    Jens Grabowski
    Dieter Hogrefe
    Telecommunication Systems, 2002, 20 : 265 - 290
  • [23] SDL- and MSC-based specification and automated test case generation for INAP
    Grabowski, J
    Hogrefe, D
    TELECOMMUNICATION SYSTEMS, 2002, 20 (3-4) : 265 - 290
  • [24] Towards compositional verification of SDL systems
    Fleischhack, H
    Grahlmann, B
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII: SOFTWARE TECHNOLOGY TRACK, 1998, : 404 - 414
  • [25] SDL to VHDL conversion rules: A case study
    Mortada, Mohamed
    Abdel-Hamid, Amr T.
    2007 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2007, : 65 - +
  • [26] Sdl2pml-Tool for automated generation of Promela model from SDL specification
    Vreze, Aleksander
    Vlaovic, Bostjan
    Brezocnik, Zmago
    COMPUTER STANDARDS & INTERFACES, 2009, 31 (04) : 779 - 786
  • [27] Property specification, process verification, and reporting - A case study with vehicle-commissioning processes
    Mrasek, Richard
    Muelle, Jutta
    Boehm, Klemens
    Becker, Michael
    Allmann, Christian
    INFORMATION SYSTEMS, 2016, 56 : 326 - 346
  • [28] FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS A Case Study
    Akhtar, Nadeem
    Le Guyadec, Yann
    Oquendo, Flavio
    ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 475 - +
  • [29] Possibility of SystemC Code Generation from SDL Specification
    Morozkin, Pavel
    PROCEEDINGS OF THE 11TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT, 2012, : 95 - 99
  • [30] Specification of synchronous sequential circuits using SDL and ObjectGEODE
    Kapus, T
    COMPUTER STANDARDS & INTERFACES, 2002, 24 (03) : 257 - 274
12345