A Refinement-Based Approach to Spectre Invulnerability Verification.

Nimish Mathure Sudarshan K. Srinivasan Kushal K. Ponugoti

Published in: IEEE Access (2022)

Keyphrases

formal verification
refinement process
machine learning
artificial intelligence
model checking
signature verification
verification method
image sequences
network topology
face verification