Author name: Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap

arXiv:2605.10005v2 Announce Type: replace-cross
Abstract: In this paper, we describe early work on a specification inference tool for the Move Prover that combines a weakest-precondition (WP) analysis over Move bytecode with an agentic coding CLI such…

arXiv:2605.10005v1 Announce Type: cross
Abstract: In this paper, we describe early work on a specification inference tool for the Move Prover that combines a weakest-precondition (WP) analysis over Move bytecode with an agentic coding CLI such as Clau…