Hybrid specification of reactive systems: an institutional approach

DOI10.1007/978-3-642-24690-6_19MaRDI QIDQ3095244zbMATHOpenAlexFDO

Authors José M. Faria, Manuel A. Martins, Alexandre Madeira, L. S. Barbosa

Publication date 28 October 2011

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/15370

zbMATH Keywords

algebraic specificationinstitution

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Hybridization of institutions
• Refinement in hybridised institutions
• Dynamic logic with binders and its application to the development of reactive systems
• Logical specification of reactive and real-time systems
• Recent Trends in Algebraic Development Techniques

Cites work

• scientific article; zbMATH DE number 1615248 (Why is no real title available?)
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• scientific article; zbMATH DE number 2090297 (Why is no real title available?)
• Abstract State Machines
• Foundations of heterogeneous specification.
• HTab: a terminating tableaux system for hybrid logic
• Hybrid specification of reactive systems: an institutional approach
• Hybridization of institutions
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Logical foundations of CafeOBJ
• Model checking for hybrid logic
• Model checking hybrid logics (with an application to semistructured data)
• Refinement by Interpretation in a General Setting
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Towards a hybrid dynamic logic for hybrid dynamic systems

Cited in

(7)

• Refinement in hybridised institutions
• Hybridization of institutions
• A Hilbert-style axiomatisation for equational hybrid logic
• Hierarchical hybrid logic
• Hybrid specification of reactive systems: an institutional approach
• Hybrid dynamic logic institutions for event/data-based systems
• Recent Trends in Algebraic Development Techniques

Describes a project that uses

Uses Software

• CASL
• Hets
• Spartacus
• HTab
• HyLoTab
• HyLoRes

This page was built for publication: Hybrid specification of reactive systems: an institutional approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095244)