介绍了一种基于机构的形式规格说明和验证语言H
Introducing H, an institution-based formal specification and verification language
摘要：
这是一个简短的调查的发展，形式规格说明和验证语言H的科学部分的重点。H是一种现代的高度表达性的语言，它牢固地建立在先进的数学理论基础上，例如机构理论中Kripke语义学的内化。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
