IDEALS Home
→
College of Engineering
→
Dept. of Computer Science
→
Browse Dept. of Computer Science by Subject

Browse Dept. of Computer Science by Subject "Model Checking, Distributed Transaction Systems, Consistency Model, Maude, Formal Specification and Verification, Correct-By-Construction Program Generation"

Now showing items 1-1 of 1

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si (2019-04-19)

Designing, verifying, and implementing highly reliable distributed systems is at present a hard and very labor-intensive task. Cloud-based systems have further increased this complexity due to the desired consistency, ...

application/pdf
PDF (2MB)

Now showing items 1-1 of 1