Using Abstract Interpretation to Correct Synchronization Faults.

Pietro Ferrara Omer Tripp Peng Liu Eric Koskinen

Published in: VMCAI (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
active databases
test cases
fault diagnosis
model checking