Compositional Invariant Generation for Timed Systems
No abstract available.
Related papers
- Termination Analysis with Compositional Transition Invariants CAV 2010
- Compositional Invariant Checking for Overlaid and Nested Linked Lists ESOP 2013
- tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation PLDI 1997
- Thread modularity at many levels: a pearl in compositional verification POPL 2017
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Go with the flow: compositional abstractions for concurrent data structures POPL 2018
- Expressing heap-shape contracts in linear logic GPCE 2006
- A General Approach for Run-Time Specialization and its Application to C POPL 1996