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 条
  • [41] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [42] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [43] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [44] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
  • [45] Formal Specification and Verification of Dynamic Parametrized Architectures
    Cimatti, Alessandro
    Stojic, Ivan
    Tonetta, Stefano
    FORMAL METHODS, 2018, 10951 : 625 - 644
  • [46] FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS
    YAMANO, K
    JOKANOVIC, D
    ANDO, T
    OHTA, M
    TAKAHASHI, K
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (08) : 715 - 722
  • [47] Formal Specification Technique in Smart Contract Verification
    Lee, Seung-Min
    Park, Soojin
    Park, Young B.
    2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2019, : 7 - 10
  • [48] A survey on formal specification and verification of separation kernels
    Zhao, Yongwang
    Yang, Zhibin
    Ma, Dianfu
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (04) : 585 - 607
  • [49] Formal specification and verification of ARM6
    Fox, A
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 25 - 40
  • [50] VESAR - A PRAGMATIC APPROACH TO FORMAL SPECIFICATION AND VERIFICATION
    ALGAYRES, B
    COELHO, V
    DOLDI, L
    GARAVEL, H
    LEJEUNE, Y
    RODRIGUEZ, C
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 779 - 790
12345