Filip Mazurek, Arya Tschand, Yu Wang 0044, Miroslav Pajic, Daniel J. Sorin. Rigorous Evaluation of Computer Processors with Statistical Model Checking. In Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2023, Toronto, ON, Canada, 28 October 2023 - 1 November 2023. pages 1242-1254, ACM, 2023. [doi]
Abstract is missing.