Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement
- Cite this paper as:
- Fredrikson M. et al. (2012) Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. In: Madhusudan P., Seshia S.A. (eds) Computer Aided Verification. CAV 2012. Lecture Notes in Computer Science, vol 7358. Springer, Berlin, Heidelberg
Unable to display preview. Download preview PDF.