Improving the Verification of Timed Systems Using Influence Information
No abstract available.
Related papers
- CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI 2023
- An empirical study of the influence of static type systems on the usability of undocumented software OOPSLA 2012
- The SLam Calculus: Programming with Secrecy and Integrity POPL 1998
- A Framework for Scalbale Dissemination-Based Systems OOPSLA 1997
- Differentially Private Runtime Monitoring CAV 2026
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Systematic Classification of Attackers via Bounded Model Checking VMCAI 2020
- A Pragmatic System for Shared Persistent Objects OOPSLA 1987