A synchronous effects logic for temporal verification of pure Esterel

DOI10.1007/978-3-030-67067-2_19zbMATH Open1472.68020OpenAlexW3118236360MaRDI QIDQ2234089FDOQ2234089

Authors: Yahui Song, Wei-Ngan Chin 

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_19

Recommendations

• The Esterel synchronous programming language: Design, semantics, implementation
• A deterministic logical semantics for Esterel
• scientific article; zbMATH DE number 1435985
• Real time programming. Languages, specification and verification.
• An axiomatic semantics for Esterel

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cites Work

• Netkat, semantic foundations for networks
• The Esterel synchronous programming language: Design, semantics, implementation
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• Synchronous Kleene algebra
• Partial derivatives of regular expressions and finite automata constructions
• Rewriting extended regular expressions
• Symbolic solving of extended regular expression inequalities
• The inclusion problem for regular expressions
• Automated Reasoning with Analytic Tableaux and Related Methods
• Deciding synchronous Kleene algebra with derivatives
• A deterministic logical semantics for Esterel

Cited In (2)

• A deterministic logical semantics for Esterel
• Automated temporal verification for algebraic effects

Uses Software

• Esterel

This page was built for publication: A synchronous effects logic for temporal verification of pure Esterel

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