Reasoning about connectors using Coq and Z3.

Xiyue Zhang Weijiang Hong Yi Li Meng Sun

Published in: Sci. Comput. Program. (2019)

Keyphrases

formal methods
theorem prover
formal theory
spatial reasoning
qualitative reasoning
support vector
data sets
e learning
metadata
clustering algorithm
multiresolution
hidden markov models
qualitative simulation