The words contained in this file might help you see if this file matches what you are looking for:

...Verifying competitive programming programs in a rust verifier master s thesis project description department of computer science eth zurich switzerland tum germany ahmed rayan supervisors vytautas astrauskas prof dr peter muller susanne albers start date october introduction big challenge creating tasks for competitions such as icpc and ioi is ensuring that the created solutions are correct task authors almost always provide an informal argument why specific solution shown appendix however correctness implementation checked only by testing peer review using these techniques to ensure doesn t guarantee it fully on other hand human error can be eliminated providing automated way verify implemented generally verification program notoriously difficult moreover this even harder because they typically written c languages whose type systems no guarantees prusti tool tries use strong system significantly simplify allows developers write contracts annotations source code which then automaticall...