Efficient modeling of concurrent systems in BMC

Keyphrases

• Concurrent Systems 100%
• Interleaving Semantics 50%
• Safety Properties 50%
• Semantic Bases 50%
• Asynchrony 50%
• Verification Result 50%
• Sequential Consistency 50%
• Synchronous Modeling 50%
• Data Race 50%
• Uncoupled Model 50%
• Shared Variables 50%

Computer Science

• Concurrent System 100%
• Verification Report 50%
• Sequential Consistency 50%