24th TACAS 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Concurrent and Distributed Systems

SAT and SMT II

Security and Reactive Systems

Static and Dynamic Program Analysis

Hybrid and Stochastic Systems

Temporal Logic and Mu-calculus

7th Competition on Software Verification (SV-COMP)

maintained by Schloss Dagstuhl LZI at University of Trier