Property Checking Array Programs Using Loop Shrinking.

Shrawan Kumar Amitabha Sanyal R. Venkatesh Punit Shah

Published in: TACAS (1) (2018)

Keyphrases

desirable properties
computer programs
data sets
decision making
knowledge base
bayesian networks
fixpoint
stable models
consistency checking
programmable logic
linear array