Rigorous Evaluation of Computer Processors with Statistical Model Checking.

Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin

Browse the full MICRO paper archive.