Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model checking C++ programs;Software Testing, Verification and Reliability;2021-09-08
2. Code‐level model checking in the software development workflow at Amazon Web Services;Software: Practice and Experience;2021-01-20
3. Code-level model checking in the software development workflow;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice;2020-06-27