PAT (model checker) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "PAT (model checker)" in English language version.

refsWebsite

Global rank English rank

2,776^th place

2,052^nd place

2^nd place

2^nd place

doi.org (Global: 2^nd place; English: 2^nd place)

J. Sun, Y. Liu, A. Roychoudhury, S. Liu and J. S. Dong.(2009), Fair Model Checking with Process Counter Abstraction. FM '09 Proceedings of the 2nd World Congress on Formal Methods. doi:10.1007/978-3-642-05089-3_9

nus.edu.sg (Global: 2,776^th place; English: 2,052^nd place)

comp.nus.edu.sg

Yang Liu, Jun Sun and Jin Song Dong.(2011), An Extensible Architecture for Building Multi-domain Model Checker. ISSRE 2011
J. Sun, Y. Liu, A. Roychoudhury, S. Liu and J. S. Dong.(2009), Fair Model Checking with Process Counter Abstraction. FM '09 Proceedings of the 2nd World Congress on Formal Methods. doi:10.1007/978-3-642-05089-3_9