2000 character limit reached
Introducing H, an institution-based formal specification and verification language (1908.09868v1)
Published 26 Aug 2019 in math.LO and cs.LO
Abstract: 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.
Collections
Sign up for free to add this paper to one or more collections.