Mining Security Critical Linear Temporal Logic Specifications for Processors.

Calvin Deutschbein Cynthia Sturton

Published in: MTV (2018)

Keyphrases

linear temporal logic
bounded model checking
temporal logic
model checking
functional requirements
information security
parallel algorithm
formal verification
data mining
access control
transition systems
intrusion detection
high level
orders of magnitude
formal methods
model checker
concurrent systems