Published "Comparing Transparent Static Analyzers with Open Verification Dashboard": doi.org/10.4230/LIPI...
Comparing Transparent Static Analyzers with Open Verification Dashboard
doi.org
Defended my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis"! hdl.handle.net/10062/120144
Correctness witnesses for thread-modular program analysis
Igaüks tahab, et tarkvara oleks kiire ja lihtsalt töötaks (õigesti), st ei sisaldaks vigu. Mitmelõimelised programmid saavad olla efektiivsed, täites mitut operatsiooni korraga, kuid neid võib olla ke...
hdl.handle.net
Published my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis": hdl.handle.net/10062/120144
Correctness witnesses for thread-modular program analysis
Igaüks tahab, et tarkvara oleks kiire ja lihtsalt töötaks (õigesti), st ei sisaldaks vigu. Mitmelõimelised programmid saavad olla efektiivsed, täites mitut operatsiooni korraga, kuid neid võib olla ke...
hdl.handle.net
Goblint ranked 1st in data races and 2nd in correctness proving overall in SV-COMP 2026: sv-comp.sosy-lab.org/2026/results...
SV-COMP 2026 - 15th International Competition on Software Verification
sv-comp.sosy-lab.org