Efficient model checking for LTL with partial order snapshots

Keyphrases

• Partial Order 100%
• Efficient Model 100%
• Checking Algorithm 66%
• Global Snapshot 66%
• Polynomial-time Algorithm 33%
• Distributed Systems 33%
• Processing Properties 33%
• Exponential Space 33%
• Interleaving Semantics 33%
• Execution Sequence 33%
• Concurrent Systems 33%
• Event Order 33%
• Polynomial Space 33%
• Mazurkiewicz Traces 33%
• Serializability 33%
• Local Processes 33%
• Behavioral Properties 33%
• Difficult to Express 33%
• New Construct 33%

Computer Science

• Model Checking 100%
• Partial Order 100%
• Model Checking Algorithm 66%
• Distributed Systems 33%
• Polynomial Algorithm 33%
• Execution Sequence 33%
• Concurrent System 33%
• Polynomial Space 33%
• Concurrent History 33%
• Space Exponential 33%