Login / Signup
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).
Aws Albarghouthi
Arie Gurfinkel
Yi Li
Sagar Chaki
Marsha Chechik
Published in:
TACAS (2013)
Keyphrases
</>
abstract interpretation
model checking
termination analysis
static analysis
active rules
reasoning engine
active databases
dynamic analysis
case study
open source