Documents What are the Right Roles for Formal Methods in High Assurance Cloud Computing?

Order-based concurrency control Can Cloud Computing Systems Offer High Assurance Without Losing Key Cloud Properties? Ken Birman, Cornell University CS6410 1 High Assurance…