SAMC

MaRDI QIDQ5974622swMATHFDO

Official website https://sadraskol.com/posts/reading-notes-samc-semantic-aware-model-checking/

Cited in

(18)

• An Event-B based approach for cloud composite services verification
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• TLA
• MODIST
• PeerSim
• Neko
• BuzzPSS
• D3S
• dBug
• DCatch
• DieCast
• Exalt
• umlsim
• Minha: Large-scale distributed systems testing made practical
• DataFlasks
• ElasTest
• Minha
• SPLAY

This page was built for software: SAMC