Hybrid Specification of Reactive Systems: An Institutional Approach

DOI10.1007/978-3-642-24690-6_19zbMath1350.68190OpenAlexW2121077344MaRDI QIDQ3095244

José M. Faria, Manuel A. Martins, Alexandre Madeira, Luís Soares 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)

Related Items

A Hilbert-style axiomatisation for equational hybrid logic ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ Hierarchical hybrid logic ⋮ Refinement in hybridised institutions

Uses Software

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

Cites Work

• Model checking for hybrid logic
• Logical foundations of CafeOBJ
• Institution-independent model theory
• Model checking hybrid logics (with an application to semistructured data)
• Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
• Refinement by Interpretation in a General Setting
• Hybridization of Institutions
• Hybrid Specification of Reactive Systems: An Institutional Approach
• Institutions: abstract model theory for specification and programming
• Abstract State Machines
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• HTab: a Terminating Tableaux System for Hybrid Logic
• Recent Trends in Algebraic Development Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item