University of Twente Student Theses
Verifying the Rewrite Rules of VerCors Using Interactive Theorem Provers
Bleumink, C. (2022) Verifying the Rewrite Rules of VerCors Using Interactive Theorem Provers.
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