H：一种基于机构的的形式化规约与验证语言
逻辑
2019-08-28 v1 计算机科学中的逻辑
摘要
这是一篇关于形式化规约与验证语言 H 发展过程的简短综述，重点在于其科学部分。H 是一种现代的高表达力语言，牢固地建立在诸如克里普克语义在机构理论中的内在化等先进数学理论之上。
引用
@article{arxiv.1908.09868,
title = {Introducing H, an institution-based formal specification and verification language},
author = {Răzvan Diaconescu},
journal= {arXiv preprint arXiv:1908.09868},
year = {2019}
}