Tutorial on model checking: Modelling and verification in computer science

被引：0
|
作者：
Biere, Armin [1 ]
机构：
[1] Johannes Kepler Univ Linz, Inst Formal Models & Verificat, A-4040 Linz, Austria
来源：
ALGEBRAIC BIOLOGY, PROCEEDINGS | 2008年 / 5147卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper serves as background material for an invited tutorial oil model checking given at the Tlird International Conference oil Algebraic Biology (AB 2008). The intended audience of the tutorial were researchers in natural science, particularly life science, but this paper may, also serve as a light-weight introduction into model checking techniques in general.
引用
收藏
页码：16 / +
页数：3
相关论文
共 50 条
  • [1] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [2] Tutorial: Parallel model checking
    Brim, Lubos
    Barnat, Jiri
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2007, 4595 : 2 - +
  • [3] Model-checking -: A tutorial introduction
    Müller-Olm, M
    Schmidt, D
    Steffen, B
    STATIC ANALYSIS, 1999, 1694 : 330 - 354
  • [4] Statistical Model Checking for Finite-Set Model Predictive Control Converters A Tutorial on Modeling and Performance Verification
    Novak, Mateja
    Nyman, Ulrik Mathias
    Dragicevic, Tomislav
    Blaabjerg, Frede
    IEEE INDUSTRIAL ELECTRONICS MAGAZINE, 2019, 13 (03) : 6 - 15
  • [5] Formal Modelling and Verification of a Component Model using Coloured Petri Nets and Model Checking
    Oliveira, Elthon
    Almeida, Hyggo
    Silva, Leandro
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1427 - +
  • [6] Model checking: Verification or debugging?
    Ruys, TC
    Brinksma, E
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 3009 - 3015
  • [7] Design verification by model checking
    1600, Japan Society for Software Science and Technology (31):
  • [8] MODEL CHECKING AND MODULAR VERIFICATION
    GRUMBERG, O
    LONG, DE
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 843 - 871
  • [9] Bytecode verification by model checking
    ETH Zürich, Zürich, Switzerland
    不详
    不详
    Basin, D., 1600, Kluwer Academic Publishers (30): : 3 - 4
  • [10] Bytecode Verification by Model Checking
    David Basin
    Stefan Friedrich
    Marek Gawkowski
    Journal of Automated Reasoning, 2003, 30 : 399 - 444
12345