University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Verifying the Rewrite Rules of VerCors Using Interactive Theorem Provers

Bleumink, C. (2022) Verifying the Rewrite Rules of VerCors Using Interactive Theorem Provers.

[img] PDF
342kB
Abstract:Vercors uses rewrite rules to check whether code is working correctly, these rewrite rules have yet to be proven. this paper has verified 70 rewrite rules using Coq. for this purpose 8 cathegories were found that all had a specific approach to proof the rules.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/91705
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page