Abstraction in Deductive Verification: Model Fields and Model Methods.

David R. Cok Gary T. Leavens

Published in: ISoLA (1) (2022)

Keyphrases

formal model
experimental data
high level
computer vision
monte carlo simulation
mathematical model
computational model
theoretical framework
prior knowledge
video sequences
statistical methods
objective function
neural network
linear model
linear models
predictive model
verification method