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

Autor:	Diaconescu, R��zvan
Rok vydání:	2019
Předmět:	FOS: Computer and information sciences FOS: Mathematics Logic (math.LO) Logic in Computer Science (cs.LO)
DOI:	10.48550/arxiv.1908.09868
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9fd997e21ae47c18f20a801314e21489 Zobrazit plný text záznamu