Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing | IEEE Conference Publication | IEEE Xplore