CTL Model Checking - PowerPoint PPT Presentation

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

CTL Model Checking

Description:

Z has really been used. IBM CICS specification (1992) Cyclotron specification (Jacky) Used routinely by Praxis Critical Systems, Ltd (UK) ... – PowerPoint PPT presentation

Number of Views:30
Avg rating:3.0/5.0
Slides: 16
Provided by: davidd159
Learn more at: http://www.ece.cmu.edu
Category:
Tags: ctl | checking | critical | model

less

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