@misc{indiciae1fee2768276e,
  title = {KindHML: formal verification of smart contracts based on Hennessy-Milner logic},
  author = {Massimo Bartoletti and Angelo Ferrando and Enrico Lipparini and Vadim Malvone},
  year = {2026},
  url = {https://arxiv.org/abs/2604.14038},
  note = {Source identifier: 2604.14038}
}