University of Twente Student Theses
Static verification for Snap!
Alberts, L. (2020) Static verification for Snap!
|
PDF
1MB |
| Abstract: | This research focuses on the implementation of a static verification method in Snap!. Snap! is a visual programming language in which a program can be made by using blocks which will form the program. This language is mainly used by high school students. Therefore an implementation of static verification in this language will be ideal to explain and demonstrate the use of static verification to students at a younger age. In this way students can understand the use of static verification in a language more appealing to them since they already are using it. To implement this static verification, a tool called Boogie will be used. Boogie is an intermediate static verification tool, made by Microsoft research. This tool is meant to be used as a foundation for other static verification tools. The Snap! code will be transformed into Boogie code, which then will be checked by the Boogie verifier. This way, the goal of being able to verify Snap! programs will be achieved. |
| Item Type: | Essay (Bachelor) |
| Faculty: | TNW: Science and Technology |
| Subject: | 54 computer science |
| Programme: | Advanced Technology BSc (50002) |
| Link to this item: | https://purl.utwente.nl/essays/80849 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page