Fine-Grained Neural Network Abstraction for Efficient Formal Verification.

Zhaosen Wen Weikai Miao Min Zhang

Published in: SEKE (2021)

Keyphrases

fine grained
coarse grained
formal verification
neural network
bounded model checking
access control
model checking
tightly coupled
web search
artificial neural networks
model checker
symbolic model checking
back propagation
massively parallel
graphical models
partial observability
information retrieval