Approximation Refinement for Interpolation−Based Model Checking

Míreanna comhchosúla

• Approximation Refinement for Interpolation−Based Model Checking
  de réir: D'Silva, V, et al.
  Foilsithe / Cruthaithe: (2008)
• Coverage in interpolation-based model checking
  de réir: Chockler, H, et al.
  Foilsithe / Cruthaithe: (2010)
• Computing mutation coverage in interpolation-based model checking
  de réir: Chockler, H, et al.
  Foilsithe / Cruthaithe: (2012)
• Interpolant Strength
  de réir: D'Silva, V, et al.
  Foilsithe / Cruthaithe: (2010)
• Restructuring Resolution Refutations for Interpolation
  de réir: D'Silva, V, et al.
  Foilsithe / Cruthaithe: (2008)