Interpolant-Based Transition Relation Approximation

DOI10.2168/LMCS-3(4:1)2007MaRDI QIDQ5453494zbMATH OpenFDO

Authors Ranjit Jhala, K. L. McMillan

Publication date 1 April 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-3(4:1)2007

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Aided Verification
• Interpolant strength
• Approximation Refinement for Interpolation-Based Model Checking
• Abstractions from proofs
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(10)

• On the completeness of interpolation algorithms
• SAT-based invariant inference and its relation to concept learning
• Interpolant strength
• Craig interpolation in the presence of unreliable connectives
• Approximation Refinement for Interpolation-Based Model Checking
• Complete instantiation-based interpolation
• An interpolation theorem for transformers
• Tools and Algorithms for the Construction and Analysis of Systems
• Preservation of Craig interpolation by the product of matrix logics
• Computer Aided Verification

This page was built for publication: Interpolant-Based Transition Relation Approximation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453494)