Author:
Yatake Kenro,Aoki Toshiaki
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Aoki, T.: Model Checking Multi-Task Software on Real-Time Operating Systems. In: ISORC, pp. 551–555. IEEE Computer Society, Los Alamitos (2008)
2. Barnat, J., Brim, L., Ročkai, P.: DiVinE 2.0: High-Performance Model Checking. In: 2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009), pp. 31–32. IEEE Computer Society Press, Los Alamitos (2009)
3. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: ISSTA, pp. 123–133 (2002)
4. Lecture Notes in Computer Science;L.M. Moura de,2007
5. Dwyer, M.B., Pasareanu, C.S.: Filter-Based Model Checking of Partial Systems. In: SIGSOFT FSE, pp. 189–202 (1998)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献