Author:
Shoham Sharon,Grumberg Orna
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference34 articles.
1. S. Shoham, O. Grumberg, Compositional verification and 3-valued abstractions join forces, in: Proceedings of the 14th International Static Analysis Symposium (SAS), vol. 4634, Lecture Notes in Computer Science, Springer, Kongens Lyngby, Denmark, 2007, pp. 69–86.
2. Model Checking;Clarke,1999
3. C. Jones, Specification and design of (parallel) programs, in: Information Processing 83: Proceedings of the IFIP Nineth World Congress, North-Holland, 1983, pp. 321–332.
4. A. Pnueli, In transition from global to modular temporal reasoning about programs, in: K.R. Apt (Ed.), Logics and Models of Concurrent Systems, vol. 13, NATO ASI Series F, Springer-Verlag, 1984.
5. J.M. Cobleigh, D. Giannakopoulou, C.S. Pasareanu, Learning assumptions for compositional verification, in: Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’03), vol. 2619, LNCS, Warsaw, Poland, 2003, pp. 331–346.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献