Author:
He Tao,Li Huazhong,Qin Guorong
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Ogata, K., Futatsugi, K.: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. Electronic Notes in Theoretical Computer Science 201, 127–154 (2008)
2. Lecture Notes in Computer Science;K. Futatsugi,2010
3. Monographs in Theoretical Computer Science. An EATCS;R. Diaconescu,2008
4. Lecture Notes in Computer Science;A. Cimatti,2002
5. Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: Proceedings of 19th International Conference on Automated Software Engineering, pp. 320–325 (2004)