Interpolant-Based Transition Relation Approximation
From MaRDI portal
Publication:5453494
DOI10.2168/LMCS-3(4:1)2007zbMath1131.68062MaRDI QIDQ5453494
Publication date: 1 April 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items (5)
SAT-based invariant inference and its relation to concept learning ⋮ Complete instantiation-based interpolation ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Approximation Refinement for Interpolation-Based Model Checking
This page was built for publication: Interpolant-Based Transition Relation Approximation
