Prophecy Variables and Invariants in the Move Prover
Loading...
Date
Authors
Advisor
Gurfinkel, Trefler
Journal Title
Journal ISSN
Volume Title
Publisher
University of Waterloo
Abstract
formal verification, Move Prover, prophecy variables, borrow analysis, ownership, invariant injections, automated reasoning, specifications