Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language.

Anil Madhavapeddy

Browse the full ICFEM paper archive.