Login / Signup

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.

Matthew FredriksonRichard JoinerSomesh JhaThomas W. RepsPhillip A. PorrasHassen SaïdiVinod Yegneswaran
Published in: CAV (2012)
Keyphrases
  • database
  • learning algorithm
  • web services
  • lightweight
  • cost effective