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

被引：3

作者：

Diaconescu, Razvan ^{[1
]}

机构：

[1] Romanian Acad, Simion Stoilow Inst Math, Bucharest, Romania

来源：

LOGICA UNIVERSALIS | 2020年 / 14卷 / 02期

关键词：

Institution theory; modal logic; formal specification; SEMANTICS; ULTRAPRODUCTS;

D O I：

10.1007/s11787-020-00249-y

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

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

页数：19

共 42 条

[1]

Abrial J.-R., 1996, LNCS, V1165

[2]

[Anonymous], 1944, Philosophy andPhenomenologicalResearch, DOI DOI 10.2307/2102968

[3]

[Anonymous], 1998, AMAST Series in Computing

[4] Bringing them all together [J].

Areces, C ;

Blackburn, P .

JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (05) :657-669

[5] CASL:: the Common Algebraic Specification Language [J].

Astesiano, E ;

Bidoit, M ;

Kirchner, H ;

Krieg-Brückner, B ;

Mosses, PD ;

Sannella, D ;

Tarlecki, A .

THEORETICAL COMPUTER SCIENCE, 2002, 286 (02) :153-196

[6]

Blackburn P., 1995, Journal of Logic, Language and Information, V4, P251, DOI 10.1007/BF01049415

[7]

Blackburn P., 2000, LOG J IGPL, V8, P339

[8]

Braüner T, 2011, APPL LOG SER, V37, P1, DOI 10.1007/978-94-007-0002-4

[9]

Clavel M., 2007, LECT NOTES COMPUTER, V4350

[10]

Codescu M, 2019, CALCO 2019

← 1 2 3 4 5 →