@misc{indiciae12b4cb9829dc,
  title = {ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair},
  author = {Zhiyong Chen and Jialun Cao and Chang Xu and Shing-Chi Cheung},
  year = {2026},
  url = {https://arxiv.org/abs/2602.12058},
  note = {Source identifier: 2602.12058}
}