18th ATVA 2020: Hanoi, Vietnam

Invited Papers

Neural Networks and Machine Learning

Automata

Logics

Techniques for Verification, Analysis and Testing

Model Checking and Decision Procedures

Synthesis

Randomization and Probabilistic Systems

Tool Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics