6th FormaliSE@ICSE 2018: Gothenburg, Sweden

Keynote

Formal methods for autonomous systems 1

Runtime verification

Program verification and application

Formal methods for autonomous systems 2

maintained by Schloss Dagstuhl LZI, founded at University of Trier