Yang Liu, Jun Sun 0001, Jin Song Dong. PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. In Tadashi Dohi, Bojan Cukic, editors, IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 190-199, IEEE, 2011. [doi]
Abstract is missing.