Martin Koehler, Klaus Schneider. Inductive Proof Rules Beyond Safety Properties. In 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. pages 1-9, VDE Verlag, 2019. [doi]
Abstract is missing.