On the Algebraic Specification and Verification of Parallel Systems

被引：0
|
作者：
Triantafyllou, Nikolaos [1 ]
Ksystra, Katerina [1 ]
Stefaneas, Petros [1 ]
机构：
[1] Natl Tech Univ Athens, GR-10682 Athens, Greece
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II | 2014年 / 8803卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：623 / 624
页数：2
相关论文
共 50 条
  • [41] Specification and Verification in Integrated Model of Distributed Systems (IMDS)
    Daszczuk, Wiktor B.
    [J]. COMPUTERS, 2018, 7 (04)
  • [42] SPECIFICATION STYLES IN DISTRIBUTED SYSTEMS-DESIGN AND VERIFICATION
    VISSERS, CA
    SCOLLO, G
    VANSINDEREN, M
    BRINKSMA, E
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 179 - 206
  • [43] Method for the specification and verification of distributed systems by a timed automaton
    Yamane, Satoshi
    [J]. Systems and Computers in Japan, 1997, 28 (02) : 11 - 20
  • [44] Safety Requirements Specification and Verification for Railway Interlocking Systems
    Han, Li
    Liu, Jing
    Zhou, Tingliang
    Sun, Junfeng
    Chen, Xiaohong
    [J]. PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 335 - 340
  • [45] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Kutsia, Temur
    [J]. JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 1 - 1
  • [46] Specification, validation, and verification of time-critical systems
    Shieh, SP
    Chen, JN
    [J]. COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
  • [47] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [48] Specification and Safety Verification of Parametric Hierarchical Distributed Systems
    Bozga, Marius
    Iosif, Radu
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 95 - 114
  • [49] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Pugliese, Rosario
    Silva, Josep
    Tiezzi, Francesco
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
  • [50] Specification and Verification of Linear Dynamical Systems: Advances and Challenges
    Ouaknine, Joel
    [J]. FRONTIERS OF COMBINING SYSTEMS (FROCOS 2013), 2013, 8152 : 197 - 197
12345