Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
No abstract available.
Related papers
- A Theory of Synchronous Relational Interfaces TOPLAS 2011
- About Synchronous Programming and Abstract Interpretation SAS 1994
- Using Abstract Interpretation to Correct Synchronization Faults VMCAI 2017
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Process-Local Static Analysis of Synchronous Processes SAS 2018
- Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages SLE 2023
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go APLAS 2016
- Interpreting Knowledge-based Programs ESOP 2023