Prophecy Variables and Invariants in the Move Prover
| dc.contributor.author | Yang, Dao Bo | |
| dc.date.accessioned | 2026-04-29T19:24:19Z | |
| dc.date.available | 2026-04-29T19:24:19Z | |
| dc.date.issued | 2026-04-29 | |
| dc.date.submitted | 2026-04-20 | |
| dc.description.abstract | formal verification, Move Prover, prophecy variables, borrow analysis, ownership, invariant injections, automated reasoning, specifications | |
| dc.identifier.uri | https://hdl.handle.net/10012/23114 | |
| dc.language.iso | en | |
| dc.pending | false | |
| dc.publisher | University of Waterloo | en |
| dc.relation.uri | https://github.com/DannyDaoBoYang/aptos-core/tree/paper | |
| dc.title | Prophecy Variables and Invariants in the Move Prover | |
| dc.type | Master Thesis | |
| uws-etd.degree | Master of Mathematics | |
| uws-etd.degree.department | David R. Cheriton School of Computer Science | |
| uws-etd.degree.discipline | Computer Science | |
| uws-etd.degree.grantor | University of Waterloo | en |
| uws-etd.embargo.terms | 0 | |
| uws.comment.hidden | My first name has a space in it. | |
| uws.contributor.advisor | Gurfinkel, Trefler | |
| uws.contributor.affiliation1 | Faculty of Mathematics | |
| uws.peerReviewStatus | Unreviewed | en |
| uws.published.city | Waterloo | en |
| uws.published.country | Canada | en |
| uws.published.province | Ontario | en |
| uws.scholarLevel | Graduate | en |
| uws.typeOfResource | Text | en |