Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis 14 (2):259-277 (2020)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-020-00249-y

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formal Methods: Theory and Practice.P. N. Scharbach - 1989
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms.Petra Murinová, Michal Burda & Viktor Pavliska - 2024 - Logica Universalis 18 (1):125-156.
A Formal Foundation for Process Modeling.Christopher Menzel & Michael Grüninger - 2001 - In Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS). ACM Press.
Institution Theory.Răzvan Diaconescu - 2015 - Internet Encyclopedia of Philosophy.
Răzvan Diaconescu, Institution-independent Model Theory.Andrzej Tarlecki - 2014 - Studia Logica 102 (1):225-229.
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.Jan Woleński - 2012 - Logica Universalis 6 (3-4):587-596.
Logic for Computer Science.Steve Reeves & Michael Clarke - 1990 - Addison Wesley Publishing Company.
Specification of nonmonotonic reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
Introductory Logic and Sets for Computer Scientists.Nimal Nissanke - 1999 - Addison Wesley Publishing Company.
The lazy logic of partial terms.Raymond D. Gumb - 2002 - Journal of Symbolic Logic 67 (3):1065-1077.

Analytics

Added to PP
2020-04-05

Downloads
15 (#1,244,127)

6 months
6 (#891,985)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
The Semantic Conception of Truth.Alfred Tarski - 2005 - In José Medina & David Wood (eds.), Truth. Malden, MA: Blackwell.

View all 8 references / Add more references