VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles

VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles

Many cloud services are relying on distributed key-value stores such as ZooKeeper, Cassandra, HBase, etc. However, distributed key-value stores are notoriously difficult to design and implement without any mistakes. Because data consistency is the contract for clients that defines what the correct v...

Full description

Bibliographic Details
Main Author: Beom-Heyn Kim
Format: Article
Language:English
Published: MDPI AG 2024-03-01
Series:Electronics
Subjects:
cloud service
distributed key-value store
model checking
software testing
data consistency
Online Access:https://www.mdpi.com/2079-9292/13/6/1153

Similar Items

Similar Items