Temporal Logic Model-checking with SPIN - PowerPoint PPT Presentation

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

Temporal Logic Model-checking with SPIN

Description:

FOLDOC (Free Online Directory of Computing, wombat.doc.ic.ac.uk/foldoc): A description of observed behaviour, simplified by ignoring certain details. ... – PowerPoint PPT presentation

Number of Views:32
Avg rating:3.0/5.0
Slides: 31
Provided by: usersEcs
Learn more at: http://users.ecs.soton.ac.uk
Category:

less

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