Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference31 articles.
1. Counterexample-guided abstraction refinement;Clarke,2000
2. Static analysis versus model checking for bug finding;Engler,2005
3. A decade of software model checking with SLAM;Ball;Commun. ACM,2011
4. The software model checker blast: applications to software engineering;Beyer;Int. J. Softw. Tools Technol. Transf.,2007
5. YASM: a software model-checker for verification and refutation;Gurfinkel,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Statistical Model Checking of Distributed Programs within SimGrid;Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications;2020