Login

Eisner, Cindy

A Practical Introduction to PSL

Eisner, Cindy - A Practical Introduction to PSL, ebook

117,80€

Ebook, PDF with Adobe DRM
ISBN: 9780387361239
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
2. Basic Temporal Properties
3. Some Philosophy
4. Weak vs. Strong Temporal Operators
5. SERE Style
6. Clocks
7. Aborting a Property
8. Some Convenient Constructs
9. The Simple Subset
10. The Boolean, Modeling, and Verification Layers
11. Advanced Topics
12. More Philosophy — High- vs. Low-level Assertions
13. Common Errors
14. Multiply-clocked Designs

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)
9780387361239

Similar titles