Probabilistic Verification for Modular Network-on-Chip Systems.

Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Browse the full VMCAI paper archive.