A Proof System for MSVL Programs in Coq.

Lin Qian Zhenhua Duan Nan Zhang Cong Tian

Published in: SOFL+MSVL (2016)

Keyphrases

modal logic
theorem prover
formal methods
databases
artificial intelligence
automatic programming
machine learning
knowledge base
multiscale
information technology
fixpoint
control structures