• Recent & Upcoming Talks
    • Example Talk
  • Publications
    • AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
    • OCEAN: Open-World Contrastive Authorship Identification
    • SOVEREIGN-towards a holistic approach to critical infrastructure protection
    • SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)
    • Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection
  • Projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience
  • Teaching
    • Learn JavaScript
    • Learn Python
  • Blog
    • 🏆 Nils Loose graduated with the best Master's degree in computer science
    • 🎉 SWAT achieved 4th place in the 13th Competition on Software Verification (SV-COMP 2024) at its debut year!

🎉 SWAT achieved 4th place in the 13th Competition on Software Verification (SV-COMP 2024) at its debut year!

Jan 1, 2023·
Nils Loose
,
Felix Mächtle
,
Florian Sieck
,
Thomas Eisenbarth
· 0 min read
Image credit: SV-Comp
Last updated on Jan 1, 2023
SV-Comp SWAT TACAS
← 🏆 Nils Loose graduated with the best Master's degree in computer science Apr 21, 2023

© 2025 Nils Loose. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.