Login / Signup

A verification framework for spatio-temporal consistency language with CCSL as a specification language.

Yuanrui ZhangFrédéric MalletYixiang Chen
Published in: Frontiers Comput. Sci. (2020)
Keyphrases
  • specification language
  • programming language
  • temporal consistency
  • formal specification
  • description language
  • high level
  • databases
  • artificial intelligence
  • high quality
  • model checking
  • integrity constraints