Formal modeling and analysis of cassandra in maude

Keyphrases

• Communication Latency 100%
• Maude 100%
• Formal Analysis 100%
• Formal Modeling 100%
• Cassandra 100%
• Distributed Key-value Stores 100%
• Popular 50%
• Design Strategy 50%
• Main Components 50%
• Design Decisions 50%
• Complex Design 50%
• Network Reliability 50%
• Consistency Models 50%
• Key-value Store 50%
• Cloud Computing System 50%
• Consistency Level 50%
• Executable Models 50%
• Write Latency 50%
• Consistency Properties 50%
• Model Check 50%

Computer Science

• Communication Latency 100%
• formal modeling 100%
• Design Strategy 50%
• Main Component 50%
• Cloud Computing System 50%
• Executable Model 50%
• Behavior Consistency 50%
• Consistency Property 50%
• Level Consistency 50%