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

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) 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

• 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?)
• Action refinement.
• CASL: the Common Algebraic Specification Language.
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Compositional modelling and reasoning in an institution for processes and data
• Constructor-based observational logic
• Dynamic logic with binders and its application to the development of reactive systems
• Foundations of algebraic specification and formal software development.
• 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)

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

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)