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 条
  • [1] Introducing H, an Institution-Based Formal Specification and Verification Language
    Diaconescu, Razvan
    LOGICA UNIVERSALIS, 2020, 14 (02) : 259 - 277
  • [2] Institution-based foundations for verification in the context of model-driven engineering
    Calegari, Daniel
    Szasz, Nora
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 107 : 41 - 63
  • [3] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
  • [4] Formal Specification and Verification of CRDTs
    Zeller, Peter
    Bieniusa, Annette
    Poetzsch-Heffter, Arnd
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 33 - 48
  • [5] FORMAL FOUNDATION FOR SPECIFICATION AND VERIFICATION
    LAMPORT, L
    SCHNEIDER, FB
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 203 - 285
  • [6] Formal Specification-Based Inspection for Verification of Programs
    Liu, Shaoying
    Chen, Yuting
    Nagoya, Fumiko
    McDermid, John A.
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (05) : 1100 - 1122
  • [7] Formal verification of activity-based specification of protocols
    Anand, KC
    Shyamasundar, RK
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2000, 60 (05) : 639 - 676
  • [8] On a GUI based editor for a formal specification language
    Ishikawa, I
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2004, 111 : 241 - 248
  • [9] Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language
    Semenov, V. A.
    Morozov, S. V.
    Arishin, S. V.
    Kuzina, O. N.
    Rimshin, V. I.
    Makisha, E. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2024, 50 (05) : 376 - 391
  • [10] A SOC-Based Formal Specification and Verification of Hybrid Systems
    Yu, Ning
    Wirsing, Martin
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (WADT 2014), 2015, 9463 : 151 - 169
12345