Login / Signup
Completeness of Hoare Logic over Nonstandard Models.
Zhaowei Xu
Yuefei Sui
Wenhui Zhang
Published in:
CoRR (2017)
Keyphrases
</>
experimental data
database
probabilistic model
statistical models
neural network model
genetic algorithm
knowledge representation
model selection
bayesian framework
mathematical models
accurate models