Verification of Real Time Operating System Exception Management Based on SPARCv8. - Zhi Ma; Lei Qiao 002; Mengfei Yang; Shao-Feng Li; Jin-Kun Zhang (J. Comput. Sci. Technol., 2021)