Introducing H, an institution-based formal specification and verification language

08/26/2019

∙

by   Răzvan Diaconescu, et al.

∙

0

∙

share

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.