Parameterized model checking of Resource Reservation Protocol - PowerPoint PPT Presentation

1 / 23
} ?>
View by Category
About This Presentation
Title:

Parameterized model checking of Resource Reservation Protocol

Description:

RSVP model in Promela. Checking properties on small-size instances of RSVP ... if A B and B |= then A |= monotonic. If A B and C D then A || B C || D. ... – PowerPoint PPT presentation

Number of Views:72
Avg rating:3.0/5.0
Slides: 24
Provided by: gar77
Learn more at: http://www.risc.jku.at
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com