155 followers
RT @zsofi_adam: Presented the software verification tools Gazer and Theta at TACAS'21 after successful benchmarks on SV-Comp. Tool paper -…
RT @zsofi_adam: Presented the software verification tools Gazer and Theta at TACAS'21 after successful benchmarks on SV-Comp. Tool paper -…
RT @zsofi_adam: Presented the software verification tools Gazer and Theta at TACAS'21 after successful benchmarks on SV-Comp. Tool paper -…
Presented the software verification tools Gazer and Theta at TACAS'21 after successful benchmarks on SV-Comp. Tool paper - https://t.co/JUFl65cRvn Slides - https://t.co/ovCKRgxmLz Thank you for the SV-Comp organizers, especially @beyer_dirk @himynameisak