Exchanging Verification Witnesses between Verifiers

Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann. Exchanging Verification Witnesses between Verifiers. In Jan Jürjens, Kurt Schneider, editors, Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland. Volume P-267 of LNI, pages 93-94, GI, 2017.

Abstract

Abstract is missing.