The overview of UpProver architecture is as follows. UpProver maintains an external summary database to store its outputs in three levels of precision, which will be provided as inputs for verification of subsequent versions.