Introducing H, an Institution-Based Formal Specification and Verification Language

被引：0
|
作者：
Răzvan Diaconescu
机构：
[1] Simion Stoilow Institute of Mathematics of the Romanian Academy,
来源：
Logica Universalis | 2020年 / 14卷
关键词：
Institution theory; modal logic; formal specification; Primary 03C95; Secondary 03C98; 68N30;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.
引用
收藏
页码：259 / 277
页数：18
相关论文
共 50 条
  • [21] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [22] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [23] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    COMPUTER, 1979, 12 (09) : 20 - 27
  • [24] Toward an institution-based paradigm
    Mike W. Peng
    Joyce C. Wang
    Nishant Kathuria
    Jia Shen
    Miranda J. Welbourne Eleazar
    Asia Pacific Journal of Management, 2023, 40 : 353 - 382
  • [25] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [26] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [27] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [28] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [29] Introducing formal specification methods in industrial practice
    Baresi, L
    Orso, A
    Pezze, M
    PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 56 - 66
  • [30] Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
    Liu, Shaoying
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 112 - 129
12345