Speculative virtual verification: policy-constrained speculative execution.

Michael E. Locasto Stelios Sidiroglou Angelos D. Keromytis

Published in: NSPW (2005)

Keyphrases

speculative execution
model checking
optimal policy
open source
sensor networks
general purpose