A synchronous effects logic for temporal verification of pure Esterel

DOI10.1007/978-3-030-67067-2_19MaRDI QIDQ2234089zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(2)

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

Describes a project that uses

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)