A logic for the stepwise development of reactive systems

DOI10.1016/j.tcs.2018.03.004zbMath1400.68125OpenAlexW2793703061MaRDI QIDQ1786564

Manuel A. Martins, Rolf Hennicker, Alexandre Madeira, Luís Soares Barbosa

Publication date: 24 September 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

hybrid logicdynamic logicspecificationreactive systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Specification of systems with parameterised events: An institution-independent approach ⋮ Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ Hybrid dynamic logic institutions for event/data-based systems

Uses Software

• CASL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Toward formal development of programs from algebraic specifications: Implementations revisited
• On models for propositional dynamic logic
• Temporal theories as modularisation units for concurrent system specification
• CASL: the Common Algebraic Specification Language.
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Constructor-based observational logic
• Institutional semantics for many-valued logics
• Proof of correctness of data representations
• Compositional Modelling and Reasoning in an Institution for Processes and Data
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• Hybrid languages and temporal logic
• Institutions: abstract model theory for specification and programming
• Observational Semantics for Dynamic Logic with Binders
• Reactive Systems

This page was built for publication: A logic for the stepwise development of reactive systems