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 (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, ...