Author:
Pira Einollah,Rafe Vahid,Nikanjam Amin
Subject
Computer Science Applications,Information Systems,Software
Reference74 articles.
1. Sequential circuit verification using symbolic model checking;Burch,1990
2. Model Checking for Security Protocols;Marrero,1997
3. Model checking one million lines of C code;Chen,2004
4. Model checking java programs using java pathfinder;Havelund;Int. J. Software Tools Technol. Trans. (STTT),2000
5. Automated program repair using genetic programming and model checking;Zojaji;Appl. Intell.,2016
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献