Sign in

Runtime Verification by Convergent Formula Progression.

Yan ShenJianwen LiZheng WangTing SuBin FangGeguang PuWanwei LiuMingsong Chen
Published in: APSEC (1) (2014)
Keyphrases
  • model checking
  • formal methods
  • verification method
  • distributed systems
  • concurrent systems
  • linear temporal logic
  • computer vision
  • image sequences
  • multi agent systems