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
相关论文
共 35 条
[11]  
Blackburn P(1992)Institutions: abstract model theory for specification and programming J. Assoc. Comput. Mach. 39 95-146
[12]  
Blackburn P(2002)Institution morphisms Form. Asp. Comput. 13 274-307
[13]  
Seligman J(1959)A completeness theorem in modal logic J. Symb. Log. 24 1-15
[14]  
Diaconescu R(2007)The heterogeneous tool set Lect. Notes Comput. Sci. 4424 519-522
[15]  
Diaconescu R(1991)An essay in combinatory dynamic logic Inf. Comput. 93 263-332
[16]  
Diaconescu R(2002)The design and implementation of VAMPIRE AI Commun. 15 91-110
[17]  
Diaconescu R(1944)The semantic conception of truth Philos. Phenomenol. Res. 4 13-47
[18]  
Ţuţu I(undefined)undefined undefined undefined undefined-undefined
[19]  
Diaconescu R(undefined)undefined undefined undefined undefined-undefined
[20]  
Madeira A(undefined)undefined undefined undefined undefined-undefined
1234