00314nas a2200121   4500000000100000000000100001008004100002260003900043100002100082700001900103700001700122245005300139       2018                            d  c 9-13 April 2018aVasteras, Sweden1 aChristian Prause1 aRainer Gerlich1 aRalf Gerlich00aEvaluating Automated Software Verification Tools