A Synchronous Effects Logic for Temporal Verification of Pure Esterel
No abstract available.
Related papers
- A deterministic logical semantics for pure Esterel TOPLAS 2007
- HipHop.js: (A)Synchronous reactive web programming PLDI 2020
- Instantaneous Termination in Pure Esterel SAS 2003
- Reducing liveness to safety in first-order logic POPL 2018
- TLC: temporal logic of distributed components ICFP 2020
- XEVE, an ESTEREL Verification Environment CAV 1998
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs TACAS 1997
- Compositional Semantics of ESTEREL and Verification by Compositional Reductions CAV 1994