UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
QRDChecker: A model checking tool for QRDC Journal article
Pei Y., Xu Q.-W., Li X.-D., Zheng G.-L.. QRDChecker: A model checking tool for QRDC[J]. Ruan Jian Xue Bao/Journal of Software, 2005, 16(3), 355-364.
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite | TC[Scopus]:0 | Submit date:2019/04/04
Finitary Property  Interval Temporal Logic  Model Checking  Reactive System  
Completeness of temporal logics over infinite intervals Journal article
Wang H., Xu Q.. Completeness of temporal logics over infinite intervals[J]. Discrete Applied Mathematics, 2004, 136(1), 87-103.
Authors:  Wang H.;  Xu Q.
Favorite | TC[WOS]:6 TC[Scopus]:7 | Submit date:2019/04/04
Completeness  Henkin's Construction  Interval Temporal Logic  
Modelling and verification of a network player system with DCValid Conference paper
Wang J., Xu Q., Ma H.. Modelling and verification of a network player system with DCValid[C], 2000, 44-49.
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite | TC[WOS]:2 TC[Scopus]:2 | Submit date:2019/04/04
Multimedia Systems  Real-time  Specification And Verification  Temporal Logic  
Specification and simulation of a concurrent real-time system Conference paper
Li X.. Specification and simulation of a concurrent real-time system[C], 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:IEEE COMPUTER SOC, 1999, 197-204.
Authors:  Li X.
Favorite | TC[WOS]:2 TC[Scopus]:0 | Submit date:2019/02/14
Interval Temporal Logic  Concurrent Real-time Systems  Executable Speci Cation  Simulation And Veri Cation