FM 2019: Porto, Portugal

Invited Presentations

Verification

Synthesis Techniques

Concurrency

Model Checking Circus

Model Checking

Analysis Techniques

Specification Languages

Reasoning Techniques

Modelling Languages

Learning-Based Techniques and Applications

Refactoring and Reprogramming

I-Day Presentations

a service of Schloss Dagstuhl - Leibniz Center for Informatics