Login

DasGupta, Pallab

A Roadmap for Formal Property Verification

DasGupta, Pallab - A Roadmap for Formal Property Verification, ebook

105,40€

Ebook, PDF with Adobe DRM
ISBN: 9781402047589
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Pallab DasGupta

2. Languages for Temporal Properties
Pallab DasGupta

3. How Does the Property Checker Work?
Pallab DasGupta

4. Is My Specification Consistent?
Pallab DasGupta

5. Have I Written Enough Properties?
Pallab DasGupta

6. Design Intent Coverage
Pallab DasGupta

7. Test Generation Games
Pallab DasGupta

8. A Roadmap for Formal Property Verification
Pallab DasGupta

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781402047589

Similar titles