Author:
Corbett James C.,Dwyer Matthew B.,Hatcliff John,Laubach Shawn,Păsăreanu Corina S.,Robby ,Zheng Hongjun
Cited by
370 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22
2. Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report;Lecture Notes in Computer Science;2024
3. PROSPER;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28
4. The Role of Abstraction in Model Checking;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
5. CCT Principle of Error and Conflict Detection and Prevention;Systems Collaboration and Integration;2023