Login / Signup
A temporal programming model with atomic blocks based on projection temporal logic.
Xiaoxiao Yang
Yu Zhang
Ming Fu
Xinyu Feng
Published in:
Frontiers Comput. Sci. (2014)
Keyphrases
</>
temporal logic
model checking
verification method
reactive systems
temporal properties