@misc{indiciaee19c554a7dba,
  title = {Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment},
  author = {Kartik Kaushik and Raju Halder and Samrat Mondal},
  year = {2024},
  url = {https://arxiv.org/abs/2409.01804},
  note = {Source identifier: 2409.01804}
}