5Nuseibeh B, Easterbrook S. Requirements engineering: A roadmap[C]//Finkelstem A. Proceedings of the 22nd International Conference on Sofware Engineering, Fuiere of Sofware Engineering Track Luoeriek: IEEE Caroputer Press, 2000:35-46. 被引量:1
6McMillan L. Symbolic Model Checking [D]. Carnegie Mellon University, 1992. 被引量:1
7llolznlann J. The model checker SPIN[J]. IEEE Transaction on Software Engineering, 1997,23(5 ) :279-295. 被引量:1