Author:
Heimdahl Mats P. E.,Choi Yunja,Whalen Michael W.
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Ait-Ameur, Y., Bel, G., Boniol, F., Pairault, S., and Wiels, V. 2003. Robustness analysis of avionics embedded systems. In Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems. New York, NY, USA, ACM Press, pp. 123–132.
2. Biere, A., Cimatti, A., Clarke, E.M., and Zhu, Y. 1999. Symbolic model checking without BDDs. In Tools and Algorithms for the Analysis and Construction of Systems, pp. 193–207.
3. Choi, Y. 2003. Toward automated verifiaction of software specifications with numeric constraints. Ph.D. thesis, University of Minnesota. Draft.
4. Choi, Y. and Heimdahl, M. 2002. Model checking RSML-e requirements. In Proceedings of the 7th IEEE/IEICE International Symposium on High Assurance Systems Engineering. Tokyo, Japan, pp. 109–118.
5. Choi, Y., Rayadurgam, S., and Heimdahl, M. 2001. ‘Automatic abstraction for model checking software systems with interrelated numeric constraints’. In Proceedings of the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-9), pp. 164–174.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献