DeepAI AI Chat
Log In Sign Up

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

08/26/2019
by   Răzvan Diaconescu, et al.
imar.ro
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/23/2019

A Component-Based Formal Language Workbench

The CBS framework supports component-based specification of programming ...
03/27/2023

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL

Formal specification is a basis for rigorous software implementation. VD...
07/10/2012

On Formal Specification of Maple Programs

This paper is an example-based demonstration of our initial results on t...
02/01/2023

A Formal Algebraic Framework for DSL Composition

We discuss a formal framework for using algebraic structures to model a ...
09/13/2020

Transition-Oriented Programming: Developing Verifiable Systems

It is extremely challenging to develop verifiable systems that are regul...
07/02/2019

Specifying verified x86 software from scratch

We present a simple framework for specifying and proving facts about the...
11/16/2021

F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails

This paper summarizes our efforts to aid human reasoning when verificati...