DasGupta, Pallab
A Roadmap for Formal Property Verification
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
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- DasGupta, Pallab
- Utgivare
- Springer
- Utgivningsår
- 2006
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9781402047589
