Mining Security Critical Linear Temporal Logic Specifications for Processors
Year: 2018
Type: conference-paper
Authors: Calvin Deutschbein, Cynthia Sturton
Institution: University of North Carolina at Chapel Hill
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2956128604