Cited By
View all- Tang RSun XHuang YWei YOuyang LMa X(2024)SandTable: Scalable Distributed System Model Checking with Specification-Level State ExplorationProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3650077(736-753)Online publication date: 22-Apr-2024
- Sharma PYegneswaran V(2023)PROSPERProceedings of the 22nd ACM Workshop on Hot Topics in Networks10.1145/3626111.3628205(41-47)Online publication date: 28-Nov-2023
- Chen X(2023)CCT Principle of Error and Conflict Detection and PreventionSystems Collaboration and Integration10.1007/978-3-031-44373-2_8(132-144)Online publication date: 18-Oct-2023
- Show More Cited By