Regression Verification - A Practical Way to Verify Programs.

Ofer Strichman Benny Godlin

Published in: VSTTE (2005)

Keyphrases

verification method
regression model
real world
model checking
symbolic execution
linear regression
practical application
formal verification
neural network
data mining
training set
source code
temporal logic
signature verification
polynomial regression
hardware designs