Author:
Naumovich Gleb,Avrunin George S.,Clarke Lori A.,Osterweil Leon J.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. R. Allen and D. Garlan. Formalizing architectural connection.In Proceedings of the 14th International Conference on Software Engineering, pages 71–80, May 1994.
2. R. Allen and D. Garlan. The Wright architectural specification language. Technical Report CMU-CS-96-TBD, Carnegie Mellon University, School of Computer Science, 1996.
3. B. W. Boehm. Software and Its Impact: A Qualitative Assessment. Datamation, pages 4859, May 1973.
4. J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 428–439, 1990.
5. J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 6:97–123, January 1995.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献