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 条
  • [21] Verifying temporal specifications of Java']Java programs
    Spegni, Francesco
    Spalazzi, Luca
    Liva, Giovanni
    Pinzger, Martin
    Bollin, Andreas
    SOFTWARE QUALITY JOURNAL, 2020, 28 (02) : 695 - 744
  • [22] A model checking approach for verifying COWS specifications
    Fantechi, Alessandro
    Gnesi, Stefania
    Lapadula, Alessandro
    Mazzanti, Franco
    Pugliese, Rosario
    Tiezzi, Francesco
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 230 - +
  • [23] Verifying scenario-based aspect specifications
    Katz, E
    Katz, S
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 432 - 447
  • [24] Verifying Concurrent Programs against Sequential Specifications
    Bouajjani, Ahmed
    Emmi, Michael
    Enea, Constantin
    Hamza, Jad
    PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 290 - 309
  • [25] Verifying specifications in hybrid automata models of systems
    Kotini, Isabella
    Hassapis, George
    Mavridis, Ioannis
    Computational Methods in Circuits and Systems Applications, 2003, : 146 - 151
  • [26] Towards Verifying Declarative Specifications of Reactive Systems
    Kameda, Tae
    Arai, Osamu
    Gorlatch, Sergei
    Fujita, Hamido
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 389 - 400
  • [27] An integrated tool set for verifying CafeOBJ specifications
    Riesco, Adrian
    Ogata, Kazuhiro
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 189
  • [28] Verifying model oriented specifications through animation
    Kazmierczak, E
    Winikoff, M
    Dart, P
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 254 - 261
  • [29] Revani: Revising and Verifying Normative Specifications for Privacy
    Kafali, Ozgur
    Ajmeri, Nirav
    Singh, Munindar P.
    IEEE INTELLIGENT SYSTEMS, 2016, 31 (05) : 8 - 15
  • [30] Distributive Laws and Decidable Properties of SOS Specifications
    Klin, Bartek
    Nachyla, Beata
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (160): : 79 - 93
12345