University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 1
Dept. of Computer Science 1

Collection

Research and Tech Reports - Computer Science 1

Author(s)

Bobba, Rakesh 1
Grov, Jon 1
Gupta, Indranil 1
Liu, Si 1
Meseguer, José 1
Olveczky, Peter C. 1
Skeirik, Stephen 1

Keyword(s)

Maude 1
cloud storage systems 1
distributed system design 1
formal analysis 1
formal modeling 1

Type of Resource

text 1

↑ ↓

Showing 1–1 of 1 item

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 5?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)