activity
20202026
most citedWill Dependency Conflicts Affect My Program's Semantics?

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.SE2026

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair

Zhiyong Chen, Jialun Cao, Chang Xu +1

Model checking in TLA+ provides strong correctness guarantees, yet practitioners continue to face significant challenges in interpreting counterexamples, understanding large state-…