PROGRAM VERIFICATION: STATE OF THE ART, PROBLEMS, AND RESULTS. II

被引：0
|
作者：
Kryvyi, S. L. [1 ]
Maksymets, O. M. [1 ]
机构：
[1] Taras Shevchenko Natl Univ Kyiv, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2014年 / 50卷 / 01期
关键词：
verification; abstract interpretation; transition system; Petri net; model checking;
D O I：
10.1007/s10559-014-9588-6
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
An analytical survey of modern verification methods for sequential, functional, reactive, and distributed systems is presented. The emphasis is on methods based on properties of abstract interpretations, transition systems, and Petri nets.
引用
收藏
页码：8 / 16
页数：9
相关论文
共 50 条
  • [1] PROGRAM VERIFICATION: STATE OF THE ART, PROBLEMS, AND RESULTS. I
    Kryvyi, S. L.
    Maksymets, O. M.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2013, 49 (06) : 805 - 814
  • [2] Antarctic large micrometeorites: State-of-art and preliminary results.
    Cevolani, G
    Martignago, F
    Molin, G
    Trivellone, G
    6TH WORKSHOP - ITALIAN RESEARCH ON ANTARCTIC ATMOSPHERE, 1996, 51 : 253 - 266
  • [3] STATE-OF-THE-ART ASSESSMENT OF MOBILITY MEASUREMENT TECHNIQUES (SAMM) - SUMMARY OF RESULTS.
    Ewins, D.J.
    Journal of the Society of Environmental Engineers, 1981, 20 (01): : 3 - 13
  • [4] Spanish MINISAT program. Program objectives and operational results.
    Primo, MAG
    THIRD EURO-LATIN AMERICAN SPACE CONFERENCE, 1998, : 265 - 276
  • [5] A fracture intervention program: First year results.
    Edwards, BJ
    Bunta, A
    Madison, L
    Ramsey-Goldman, R
    Taft, L
    JOURNAL OF BONE AND MINERAL RESEARCH, 2000, 15 : S537 - S537
  • [6] Disease management program for diabetes - Preliminary results.
    Forti, AC
    Albuquerque, RH
    Araujo, TC
    Lima, VM
    Santana, AM
    Bandeira, A
    Oliveira, M
    Moreira, M
    DIABETES, 1997, 46 : 1121 - 1121
  • [7] Educational timetabling: Problems, benchmarks, and state-of-the-art results
    Ceschia, Sara
    Di Gaspero, Luca
    Schaerf, Andrea
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2023, 308 (01) : 1 - 18
  • [8] VERIFICATION OF FAULT TREE ANALYSIS VOLUME 1: EXPERIMENTS AND RESULTS.
    Anon
    Electric Power Research Institute (Report) EPRI NP, 1981,
  • [9] AUTOMATIC SIGNATURE VERIFICATION: SYSTEM DESCRIPTION AND FIELD TEST RESULTS.
    Liu, C.N.
    Herbst, N.M.
    Anthony, N.J.
    1979, SMC-9 (01): : 35 - 38
  • [10] IMRT pretreatment verification with an EPID; data analysis and clinical results.
    Dirkx, M
    van Zijtveld, M
    Hol, M
    Jacobs, P
    den Biggelaar, AV
    Swarte, H
    de Boer, H
    Heijmen, B
    RADIOTHERAPY AND ONCOLOGY, 2005, 76 : S40 - S40
12345