Login / Signup

Partial Order Reduction for the full Class of State/Event Linear Temporal Logic.

Shuanglong KanZhiqiu Huang
Published in: Comput. J. (2018)
Keyphrases
  • linear temporal logic
  • model checking
  • partial order reduction
  • state space
  • temporal logic
  • event detection
  • web services
  • general purpose
  • bounded model checking