Verification of population protocols

Computer Science

• Initial Configuration 100%
• Sensor Networks 50%
• Mobile Device 50%
• Fairness Constraint 50%
• Strong Fairness 50%
• Computable Predicate 50%
• Infinite Sequence 50%
• Petri Net 50%

Keyphrases

• Population Protocols 100%
• Consensus Measure 66%
• Sensor Networks 33%
• Computable 33%
• Mobile Devices 33%
• Petri Nets 33%
• Infinite Sequences 33%
• Verification Problem 33%
• Fairness Constraints 33%
• Home Spaces 33%