A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.

Zheng Yang Hang Lei Weizhong Qian Zehui Yan Weiru Zeng

Published in: CSAE (2020)

Keyphrases

prior knowledge
probabilistic model
experimental data
formal models
multiresolution
formal model
real time
data mining
data model
machine learning algorithms
complex systems
computational models
autoregressive
formal methods
computing power