Login / Signup
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor.
Ning Dong
Roberto Guanciale
Mads Dam
Andreas Lööw
Published in:
FMCAD (2023)
Keyphrases
</>
information flow
formal verification
information security
flow analysis
social networks
information flows
model checking
decision support
communication networks
symbolic model checking
anomaly detection
functional modules
model checker
automated verification