TACAS
🎉 SWAT achieved 4th place in the 13th Competition on Software Verification (SV-COMP 2024) at its debut year!
SWAT the dynamic symbolic execution engine developed at the University of Lübeck
Jan 1, 2023
