Verifying SOS specifications

被引：0
|
作者：
Bloom, B [1 ]
Cheng, A [1 ]
Dsouza, A [1 ]
机构：
[1] IBM CORP,WATSON RES LAB,HAWTHORNE,NY 10532
来源：
COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY | 1996年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：117 / 127
页数：11
相关论文
共 50 条
  • [31] BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
    Serbinowski, Bernard
    Johnson, Taylor T.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 307 - 323
  • [32] Verifying Modal Workflow Specifications Using Constraint Solving
    Bride, Hadrien
    Kouchnarenko, Olga
    Peureux, Fabien
    INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 171 - 186
  • [33] Verifying Linear Real-Time Logic specifications
    Andrei, Stefan
    Cheng, Albert M. K.
    RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2007, : 333 - +
  • [34] A Framework for Verifying the Conformance of Design to Its Formal Specifications
    Dieu-Huong Vu
    Chiba, Yuki
    Yatake, Kenro
    Aoki, Toshiaki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (06): : 1137 - 1149
  • [35] Verifying specifications with associated attributes in graph transformation systems
    Yu Zhou
    Yankai Huang
    Ou Wei
    Zhiqiu Huang
    Frontiers of Computer Science, 2015, 9 : 364 - 374
  • [36] Verifying Action Semantics Specifications in UML Behavioral Models
    Planas, Elena
    Cabot, Jordi
    Gomez, Cristina
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 125 - 140
  • [37] METHODS OF VERIFYING ADHERENCE TO THE NTSC COLOR SIGNAL SPECIFICATIONS
    LUTHER, AC
    PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1954, 42 (01): : 235 - 240
  • [38] Verifying specifications with associated attributes in graph transformation systems
    Zhou, Yu
    Huang, Yankai
    Wei, Ou
    Huang, Zhiqiu
    FRONTIERS OF COMPUTER SCIENCE, 2015, 9 (03) : 364 - 374
  • [39] Verifying the reusability of software component specifications: Framework and algorithms
    Hwang, YF
    Rine, DC
    INFORMATION SCIENCES, 1998, 112 (1-4) : 169 - 197
  • [40] Verifying task-based specifications in conceptual graphs
    Lee, J
    Lai, LF
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 39 (14-15) : 913 - 923
12345