Author:
Zafar Saad,Farooq-Khan Naurin,Ahmed Musharif
Subject
Computer Science Applications,Information Systems,Software
Reference44 articles.
1. J.M. Rushby, Model checking and other ways of automating formal methods, in: Position Pap. Panel Model Checking Concurr. Programs Softw. Qual. Week San Franc, 1995.
2. C. Heitmeyer, On the need for practical formal methods, in: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998, pp. 18-26.
3. Formal reliability analysis using theorem proving;Hasan;IEEE Trans. Comput.,2010
4. P. Cousot, R. Cousot, Verification of embedded software: problems and perspectives, in: Embedded Software, 2001, pp. 97-113.
5. A. Lamsweerde, Formal specification: a roadmap, in: Proceedings of the Conference on the Future of Software Engineering, 2000, pp. 147–159.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献