System specification and verification using high level concepts - A tool demonstration

被引：0
|
作者：
Stehno, C [1 ]
机构：
[1] Univ Oldenburg, Fachbereich Biol, Parallel Syst Grp, D-26111 Oldenburg, Germany
来源：
MODEL CHECKING SOFTWARE, PROCEEDINGS | 2002年 / 2318卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes a sample modelling and verification session using SDL and SPIN modelchecker via the PEP tool(1). We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL specifications. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.
引用
收藏
页码：246 / 249
页数：4
相关论文
共 50 条
  • [1] PROTEAN - A HIGH-LEVEL PETRI NET TOOL FOR THE SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
    BILLINGTON, J
    WHEELER, GR
    WILBURHAM, MC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (03) : 301 - 316
  • [2] METACSL: Specification and Verification of High-Level Properties
    Robles, Virgile
    Kosmatov, Nikolai
    Prevosto, Virgile
    Rilling, Louis
    Le Gall, Pascale
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, 2019, 11427 : 358 - 364
  • [3] Methodology for Specification and Verification of High-Level Requirements with MetAcsl
    Robles, Virgile
    Kosmatov, Nikolai
    Prevosto, Virgile
    Rilling, Louis
    Le Gall, Pascale
    2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 54 - 67
  • [4] High-level frameworks for the specification and verification of scheduling problems
    Chadli, Mounir
    Kim, Jin H.
    Larsen, Kim G.
    Legay, Axel
    Naujokat, Stefan
    Steffen, Bernhard
    Traonouez, Louis-Marie
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 397 - 422
  • [5] High-level frameworks for the specification and verification of scheduling problems
    Mounir Chadli
    Jin H. Kim
    Kim G. Larsen
    Axel Legay
    Stefan Naujokat
    Bernhard Steffen
    Louis-Marie Traonouez
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 397 - 422
  • [6] TOOL FOR SPECIFICATION OF SYNCHRONIZATION IN HIGH-LEVEL LANGUAGES
    PULOU, J
    RAIRO-INFORMATIQUE-COMPUTER SCIENCE, 1978, 12 (04): : 291 - 306
  • [7] Tool-Assisted Specification and Verification of Typed Low-Level Languages
    Gilles Barthe
    Pierre Courtieu
    Guillaume Dufay
    Simão Melo de Sousa
    Journal of Automated Reasoning, 2005, 35 : 295 - 354
  • [8] Tool-assisted specification and verification of typed low-level languages
    Barthe, Gilles
    Courtieu, Pierre
    Dufay, Guillaume
    De Sousa, Simao Melo
    JOURNAL OF AUTOMATED REASONING, 2005, 35 (04) : 295 - 354
  • [9] System-level verification tool rolls
    McGrath, Dylan
    Electronic Engineering Times, 2006, (1427) : 38 - 39
  • [10] A SPECIFICATION AND VERIFICATION TOOL FOR COMMUNICATION PROTOCOLS
    KAUR, H
    GRIER, JB
    CAMPBELL, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 234 - 241
12345