Dynamic logic with binders and its application to the development of reactive systems

DOI10.1007/978-3-319-46750-4_24MaRDI QIDQ3179414zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Manuel A. Martins, Alexandre Madeira, L. S. Barbosa

Publication date 21 December 2016

Published in Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

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

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)

Recommendations

• A logic for the stepwise development of reactive systems
• Observational Semantics for Dynamic Logic with Binders
• Institutions for behavioural dynamic logic with binders
• Logical specification of reactive and real-time systems
• Composing and refining dense temporal logic specifications

Cites work

• Action refinement.
• CASL: the Common Algebraic Specification Language.
• Compositional modelling and reasoning in an institution for processes and data
• Constructor-based observational logic
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Dynamic logic with binders and its application to the development of reactive systems
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1258883 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 1536552 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Institutional semantics for many-valued logics
• Institutions: abstract model theory for specification and programming
• Modeling and analysis of communicating systems
• On models for propositional dynamic logic
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Proof of correctness of data representations
• Reactive Systems
• Temporal theories as modularisation units for concurrent system specification
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(12)

• Institutions for behavioural dynamic logic with binders
• A logic for the stepwise development of reactive systems
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Hybrid dynamic logic institutions for event/data-based systems
• Specification of systems with parameterised events: An institution-independent approach
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Hybrid specification of reactive systems: an institutional approach
• Dynamic logic with binders and its application to the development of reactive systems
• Observational Semantics for Dynamic Logic with Binders
• A hybrid dynamic logic for event/data-based systems
• Dynamic Reconfiguration via Typed Modalities
• Behavioural and abstractor specifications revisited

Describes a project that uses

Uses Software

• CASL

This page was built for publication: Dynamic logic with binders and its application to the development of reactive systems

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