Segment Tree verification using Dafny

This repository contains .dfy file with exampels and verification for Segment Tree implementation as well as supporting document with summary. Primary Dafny version is 3.13.