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

...Departmentofinformatics technischeuniversitatmunchen master s thesis in informatics verifying competitive programming programs a rust verier ahmedrayan verizierung von programmen aus einem author supervisor prof dr susanne albers advisor vytautas astrauskas peter muller submission date i conrm that this is my own work and have documented all sources material used munich abstract ensuring the correctness of created solutions one biggest challenges people face creating tasks for competitions such as icpc ioi task authors usually check by testing or peer review however doesn t give sure guarantees on we explore an alternative way to do using prusti formally verify implementation these investigate if can nd general strategy belonging each following topics dynamic dp trees greedy segment tree unlike already existing published papers archives contain verication specic algorithms other tools strategies whole classes problems iii...