An I/O Separation Model for Formal Verification of Kernel Implementations.

Miao Yu Virgil D. Gligor Limin Jia

Published in: IEEE Symposium on Security and Privacy (2021)

Keyphrases

mathematical model
input output
formal verification
probabilistic model
computational model
statistical model
artificial intelligence
em algorithm
high level
probability distribution
experimental data