ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space.

Jing Li, Tao Sun, Wenjie Zhong

Browse the full TrustCom paper archive.