Abstract Interpretation of Stateful Networks.

Kalev Alpernas Roman Manevich Aurojit Panda Mooly Sagiv Scott Shenker Sharon Shoham Yaron Velner

Published in: SAS (2018)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
software engineering
logic programs