30th CAV 2018: Oxford, UK

Tools

Static Analysis

Theory and Security

SAT, SMT and Decision Procedures

Concurrency

CPS, Hardware, Industrial Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics