A synchronous effects logic for temporal verification of pure Esterel

DOI10.1007/978-3-030-67067-2_19zbMath1472.68020OpenAlexW3118236360MaRDI QIDQ2234089

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

Related Items (1)

Automated temporal verification for algebraic effects

Uses Software

• Esterel

Cites Work

• Unnamed Item
• Rewriting extended regular expressions
• Synchronous Kleene algebra
• The Esterel synchronous programming language: Design, semantics, implementation
• The inclusion problem for regular expressions
• Deciding Synchronous Kleene Algebra with Derivatives
• Symbolic Solving of Extended Regular Expression Inequalities.
• Partial derivatives of regular expressions and finite automata constructions
• NetKAT
• Automated Reasoning with Analytic Tableaux and Related Methods
• Antichains: A New Algorithm for Checking Universality of Finite Automata

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