Author:
Heitmeyer Constance,Kirby James,Labaw Bruce,Bharadwaj Ramesh
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. T. A. Alspaugh et al. Software requirements for the A-7 aircraft. Report 9194, Naval Research Lab, Wash. DC, 1992.
2. R. J. Anderson et al. “Model checking large software specifications.” Proc. 4th ACM SIGSOFT Symp. Foundations of Software Eng., October 1996.
3. R. Bharadwaj and C. Heitmeyer. “Model checking complete requirements specifications using abstraction.” Journal of Automated Software Eng. (to appear.
4. S. Easterbrook and J. Callahan. “Formal methods for verification and validation of partial specifications: A case study.” Journal of Systems and Software, 1997.
5. S. Faulk et al. “Experience applying the CoRE method to the Lockheed C-130J.” Proc. 9 th Annual Computer Assurance Conf. (COMPASS '94), June 1994.
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献