Interpolation−based verification of floating−point programs with abstract CDCL

Benzer Materyaller

• Interpolation-based verification of floating-point programs with abstract CDCL
  Yazar:: Brain, M, ve diğerleri
  Baskı/Yayın Bilgisi: (2013)
• Lifting CDCL to template-based abstract domains for program verification
  Yazar:: Mukherjee, R, ve diğerleri
  Baskı/Yayın Bilgisi: (2017)
• Deciding floating−point logic with abstract conflict driven clause learning
  Yazar:: Brain, M, ve diğerleri
  Baskı/Yayın Bilgisi: (2013)
• Deciding Floating−Point Logic with Systematic Abstraction
  Yazar:: Haller, L, ve diğerleri
  Baskı/Yayın Bilgisi: (2012)
• Deciding floating-point logic with abstract conflict driven clause learning
  Yazar:: Brain, M, ve diğerleri
  Baskı/Yayın Bilgisi: (2014)