On the verification of time-dependent protocols using timed reachability analysis

Keyphrases

• Reachability Analysis 100%
• Time Constraints 50%
• Grammar 50%
• Automated Approach 50%
• Global State 50%
• Stop-and-wait Protocol 50%
• Constraint Matrix 50%
• Multi-destination 50%
• State Constraints 50%
• Reachability Algorithm 50%

Engineering

• Reachability 100%
• Illustrates 33%