XEVE, an ESTEREL Verification Environment
Abstract elided by the publisher.
Related papers
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs TACAS 1997
- Compositional Semantics of ESTEREL and Verification by Compositional Reductions CAV 1994
- A Synchronous Effects Logic for Temporal Verification of Pure Esterel VMCAI 2021
- Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software CAV 1995
- Instantaneous Termination in Pure Esterel SAS 2003
- Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study CAV 1999
- Synchronous Programming for Kids: A Manifesto Onward! 2025
- A calculus for Esterel: if can, can. if no can, no can POPL 2019