SAMC

MaRDI QIDQ5974622swMATHFDO

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

Cited in

(18)

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

This page was built for software: SAMC