Reusing Information in Multi-Goal Reachability Analyses

Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. Reusing Information in Multi-Goal Reachability Analyses. In Wilhelm Hasselbring, Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland. Volume 227 of LNI, pages 97-98, GI, 2014.

Abstract

Abstract is missing.