Apinis, Kalmer, juhendajaSammul, KadiTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2024-09-252024-09-252024https://hdl.handle.net/10062/104903In program analysis constraint solving via sets of values is time-consuming and needs a lot of memory. Therefore, it is wiser to use widening. Widening makes analysis inaccurate - to restore accuracy narrowing can be used. Using combined widening and narrowing we create an algorithm in Coq, where in addition to finding a solution we guarantee the termination of the analysis.etAttribution-NonCommercial-NoDerivs 3.0 EstoniaCoqprogrammianalüüskombineeritud laiendamine ja kitsendamineprogram analysiscombined widening and narrowingmagistritöödinformaatikainfotehnoloogiainformaticsinfotechnologyThesis