Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
Abstract elided by the publisher.
Related papers
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs TACAS 1997
- A calculus for Esterel: if can, can. if no can, no can POPL 2019
- XEVE, an ESTEREL Verification Environment CAV 1998
- Compositional Semantics of ESTEREL and Verification by Compositional Reductions CAV 1994
- A Synchronous Effects Logic for Temporal Verification of Pure Esterel VMCAI 2021
- Experience report: using objective caml to develop safety-critical embedded tools in a certification framework ICFP 2009
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- Reactive probabilistic programming PLDI 2020