Login / Signup

A temporal programming model with atomic blocks based on projection temporal logic.

Xiaoxiao YangYu ZhangMing FuXinyu Feng
Published in: Frontiers Comput. Sci. (2014)
Keyphrases
  • temporal logic
  • model checking
  • verification method
  • reactive systems
  • temporal properties