Using Z3 for Formal Modeling and Verification of FNN Global Robustness.

Yihao Zhang Zeming Wei Xiyue Zhang Meng Sun

Published in: CoRR (2023)

Keyphrases

formal methods
fuzzy neural network
formal models
formal model
formal analysis
formal specification
database
neural network
artificial intelligence
model checking
modeling language
global information
modeling method
feedforward neural networks