Sign in

Abstract Interpretation of Stateful Networks.

Kalev AlpernasRoman ManevichAurojit PandaMooly SagivScott ShenkerSharon ShohamYaron Velner
Published in: SAS (2018)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • model checking
  • active rules
  • software engineering
  • logic programs