Approximation Refinement for Interpolation−Based Model Checking

Approximation Refinement for Interpolation−Based Model Checking

Show other versions (1)

Bibliographic Details
Main Authors:	D'Silva, V, Purandare, M, Kroening, D
Format:	Conference item
Published:	Springer 2008

Similar Items

Approximation Refinement for Interpolation−Based Model Checking
by: D'Silva, V, et al.
Published: (2008)

Coverage in interpolation-based model checking
by: Chockler, H, et al.
Published: (2010)

Computing mutation coverage in interpolation-based model checking
by: Chockler, H, et al.
Published: (2012)

Interpolant Strength
by: D'Silva, V, et al.
Published: (2010)

Restructuring Resolution Refutations for Interpolation
by: D'Silva, V, et al.
Published: (2008)

Computing Over−Approximations with Bounded Model Checking
by: Kroening, D
Published: (2006)

Computing over-approximations with bounded model checking
by: Kroening, D
Published: (2006)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
by: Kroening, D, et al.
Published: (2016)

Formalizing and checking thread refinement for data-race-free execution models
by: Poetzl, D, et al.
Published: (2016)

Strengthening properties using abstraction refinement
by: Purandare, M, et al.
Published: (2009)

Interpolation−based verification of floating−point programs with abstract CDCL
by: Brain, M, et al.
Published: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
by: Brain, M, et al.
Published: (2013)

Applying models of spatial interpolation for the approximation of responses in the refinement of parameters of finite element models
by: Pikhalov Anatoly, et al.
Published: (2018-01-01)

Propositional Interpolation and Abstract Interpretation
by: D'Silva, V
Published: (2010)

More effective interpolations in software model checking
by: Tian, C, et al.
Published: (2017)

Interpolation and approximation/
by: Davis, Philip J., 1923-
Published: (1975)

Abstraction refinement for large scale model checking /
by: 405051 Wang, Chao, et al.
Published: (2006)

Model Checking with Abstraction for Web Services
by: Sharygina, N, et al.
Published: (2007)

ACSAR: Software Model Checking with Transfinite Refinement
by: Seghir, M, et al.
Published: (2007)

Refinement checking for privacy policies
by: Papanikolaou, N, et al.
Published: (2012)

Refinement checking for privacy policies.
by: Papanikolaou, N, et al.
Published: (2012)

Rational approximation and interpolation /
by: Varga, Richard S., et al.
Published: (1984)

Preface: Special Issue on Interpolation
by: Kroening, D, et al.
Published: (2016)

Interpolant-Based Transition Relation Approximation
by: Ranjit Jhala, et al.
Published: (2007-11-01)

Race analysis for systemC using model checking
by: Blanc, N, et al.
Published: (2010)

Refinement Checking for Privacy Policies
by: Goldsmith, S
Published: (2011)

Refinement Checking for Privacy Policies
by: Goldsmith, S
Published: (2011)

Symbolic model checking for asynchronous Boolean programs
by: Cook, B, et al.
Published: (2005)

Lifting Propositional Interpolants to the Word−Level
by: Kroening, D, et al.
Published: (2007)

Proving safety with trace automata and bounded model checking
by: Kroening, D, et al.
Published: (2015)

Property-driven fence insertion using reorder bounded model checking
by: Joshi, S, et al.
Published: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
by: Joshi, S, et al.
Published: (2015)

DRVI: Dual Refinement for Video Interpolation
by: Xuanyi Wu, et al.
Published: (2021-01-01)

Computational challenges in bounded model checking.
by: Clarke, E, et al.
Published: (2005)

Computational Challenges in Bounded Model Checking
by: Clarke, E, et al.
Published: (2015)

Computational challenges in bounded model checking
by: Clarke, E, et al.
Published: (2005)

Completeness and Complexity of Bounded Model Checking
by: Clarke, E, et al.
Published: (2004)

Model Checking Concurrent Linux Device Drivers
by: Witkowski, T, et al.
Published: (2007)

Model checking concurrent linux device drivers
by: Witkowski, T, et al.
Published: (2007)

Towards automated bounded model checking of API implementations
by: Neville, D, et al.
Published: (2016)