Introducing H, an institution-based formal specification and verification language
Logic
2019-08-28 v1 Logic in Computer Science
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.
Cite
@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}
}