Verifiers Dirk Beyer University of Passau Germany Thomas A. Henzinger M. Erkan Keremoglu IST Austria / BUG pipeline / Austria Simon Fraser University Canada ∗‡ Philipp Wendler University of Passau Germany ABSTRACT / University of Passau / /
University of Passau / Verifiers Dirk Beyer University / Passau Germany Thomas A. Henzinger M. Erkan Keremoglu IST Austria Austria Simon Fraser University Canada ∗‡ Philipp Wendler University of Passau Germany ABSTRACT / /