Hybridisation of Institutions in HETS (Tool Paper).

DOI10.4230/LIPIcs.CALCO.2019.17OpenAlexW2990402245MaRDI QIDQ5875358

Mihai Codescu

Publication date: 3 February 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2019.17

zbMATH Keywords

institutionsformal verificationreconfigurable systemshybrid logics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Introducing \(H\), an institution-based formal specification and verification language ⋮ Preservation in many-valued truth institutions ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

Cites Work

• Unnamed Item
• Unnamed Item
• Grothendieck institutions
• Birkhoff style calculi for hybrid logics
• Ultraproducts and possible worlds semantics in institutions
• Quasi-varieties and initial semantics for hybridized institutions
• Hybridisation at Work
• Hybridization of Institutions
• Institutions: abstract model theory for specification and programming
• Encoding hybridized institutions into first-order logic

This page was built for publication: Hybridisation of Institutions in HETS (Tool Paper).