IEC 62531:2012
Current
The latest, up-to-date edition.
Property Specification Language (PSL)
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
English
21-06-2012
1. Overview
2. Normative references
3. Definitions, acronyms, and abbreviations
4. Organization
5. Boolean layer
6. Temporal layer
7. Verification layer
8. Modeling layer
9. Scope and visibility rules
Annex A (normative) - Syntax rule summary
Annex B (normative) - Formal Syntax and Semantics of IEEE
Std 1850 Property Specification Language (PSL)
Annex C (informative) - Bibliography
Annex D (informative) - List of IEEE Participants
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.