Probabilistic Verification for Modular Network-on-Chip Systems
Abstract elided by the publisher.
Related papers
- Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms VMCAI 2022
- ProbNV: probabilistic verification of network control planes ICFP 2021
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015
- Report on the probabilistic language scheme DLS 2007
- Scalable verification of probabilistic networks PLDI 2019
- Modular Control Plane Verification via Temporal Invariants PLDI 2023
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- Modular verification for almost-sure termination of probabilistic programs OOPSLA 2019