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 条
  • [1] Verifying architectural specifications
    Hoffman, P
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2001, 2267 : 152 - 175
  • [2] VERIFYING THE ADEQUACY OF TECHNICAL SPECIFICATIONS
    CORCORAN, WR
    WEBSTER, SA
    BRAUN, JC
    EARLES, DR
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1982, 43 : 555 - 556
  • [3] Verifying Incomplete and Evolving Specifications
    Menghi, Claudio
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 670 - 673
  • [4] Formally verifying decompositions of stochastic specifications
    Hampus, Anton
    Nyberg, Mattias
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (02) : 207 - 228
  • [5] Formally Verifying Decompositions of Stochastic Specifications
    Hampus, Anton
    Nyberg, Mattias
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), 2022, 13487 : 193 - 210
  • [6] Verifying behavioural specifications in CafeOBJ environment
    Mori, A
    Futatsugi, K
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1625 - 1643
  • [7] Verifying temporal specifications of Java programs
    Francesco Spegni
    Luca Spalazzi
    Giovanni Liva
    Martin Pinzger
    Andreas Bollin
    Software Quality Journal, 2020, 28 : 695 - 744
  • [8] Verifying generative CASL architectural specifications
    Hoffman, P
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 233 - 252
  • [9] Verifying timing consistency in formal specifications
    Bartos, T
    Fristacky, N
    IEEE DESIGN & TEST OF COMPUTERS, 1996, 13 (01): : 8 - 15
  • [10] On the complexity of verifying consistency of XML specifications
    Arenas, Marcelo
    Fan, Wenfei
    Libkin, Leonid
    SIAM JOURNAL ON COMPUTING, 2008, 38 (03) : 841 - 880
12345