Interpolation Guided Compositional Verification (T).

Shang-Wei Lin Jun Sun Truong Khanh Nguyen Yang Liu Jin Song Dong

Published in: ASE (2015)

Keyphrases

model checking
linear interpolation
formal verification
interpolation methods
neural network
verification method
concurrent systems
real time
information retrieval
data structure
color images
distributed systems
signature verification
spline interpolation
sparse sampling