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 条
  • [31] Formal specification and verification of protocol-based handover in a mobile process
    Vinh, PC
    JOINT 4TH IEEE INTERNATIONAL CONFERENCE ON ATM (ICATM'01) AND HIGH SPEED INTELLIGENT INTERNET SYMPOSIUM, 2001, : 354 - 358
  • [32] A formal approach for the specification and verification of trustworthy component-based systems
    Mohammad, Mubarak
    Alagar, Vangalur
    JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
  • [33] Functional verification methodology based on formal interface specification and transactor generation
    Balarin, Felice
    Passerone, Roberto
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1012 - +
  • [34] Formal specification and verification of hypermedia documents based on the nested context model
    Santos, CAS
    Courtiat, JP
    Soares, LFG
    de Souza, GL
    1998 MULTIMEDIA MODELING, PROCEEDINGS, 1998, : 21 - 22
  • [35] INTRODUCING THE GRASPIN SPECIFICATION LANGUAGE SEGRAS
    KRAMER, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 15 (01) : 17 - 31
  • [36] SLABS: A formal specification language for agent-based systems
    Zhu, H
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (05) : 529 - 558
  • [37] An institution-based view of IPR protection
    Peng, Mike W.
    BUSINESS HORIZONS, 2013, 56 (02) : 135 - 139
  • [38] A Survey of Smart Contract Formal Specification and Verification
    Tolmach, Palina
    Li, Yi
    Lin, Shang-Wei
    Liu, Yang
    Li, Zengxiang
    ACM COMPUTING SURVEYS, 2021, 54 (07)
  • [39] Formal Verification of Language-Based Concurrent Noninterference
    Popescu, Andrei
    Hoezi, Johannes
    Nipkow, Tobias
    JOURNAL OF FORMALIZED REASONING, 2013, 6 (01): : 1 - 30
  • [40] Formal verification of C language based VLSI designs
    Fujita, M
    17TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: DESIGN METHODOLOGIES FOR THE GIGASCALE ERA, 2004, : 93 - 100
12345