Integration of Bounded Model Checking and Deductive Verification

  • Author:

     

    Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
  • Source:

    FoVeOOS 2011: 86-104