SAMC

swMATH44345MaRDI QIDQ5974622FDOQ5974622

Author name not available (Why is that?)

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
• Neko
• BuzzPSS
• D3S
• dBug
• DCatch
• DieCast
• Exalt
• umlsim
• TLA
• MODIST
• Minha: Large-scale distributed systems testing made practical
• PeerSim
• DataFlasks
• ElasTest
• Minha
• SPLAY

This page was built for software: SAMC