Dynamic verification of end-to-end multiprocessor invariants | IEEE Conference Publication | IEEE Xplore