Calvin Deutschbein, Cynthia Sturton. Mining Security Critical Linear Temporal Logic Specifications for Processors. In 19th International Workshop on Microprocessor and SOC Test and Verification, MTV 2018, Austin, TX, USA, December 9-10, 2018. pages 18-23, IEEE, 2018. [doi]
Abstract is missing.