research
∙
05/17/2022
Reasoning About Vectors using an SMT Theory of Sequences
Dynamic arrays, also referred to as vectors, are fundamental data struct...
share
research
∙
10/15/2021
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
The Move Prover (MVP) is a formal verifier for smart contracts written i...
research
∙
02/03/2017