Piecewise FIFO Channels Are Analyzable
No abstract available.
Related papers
- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels CAV 1998
- Data Flow Analysis of Communicating Finite State Machines TOPLAS 1991
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs VMCAI 2015
- LaminarIR: compile-time queues for structured streams PLDI 2015
- A Fully Abstract Trace Model for Dataflow Networks POPL 1989
- Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes CAV 2018
- Analyzing permission transfer channels for dynamically typed languages DLS 2021
- Abstract Interpretation of FIFO Replacement SAS 2009