BS IEC 62531:2012 BSi Standards Publication IEEE standard for property specification language (PsL) BSi raising standards worldwide" BS IEC 62531:2012 BRITISH STANDARD National foreword This British Standard is the UK implementation of IEC 62531:2012. It super- sedes BS IEC 62531:2007 which is withdrawn. The UK participation in its preparation was entrusted to Technical Committee GEL/93, Design automation. A list of organizations represented on this committee can be obtained on request to its secretary. This publication does not purport to include all the necessary provisions of a contract. Users are responsible for its correct application. @ The British Standards Institution 2012 Published by BSI Standards Limited 2012 ISBN9780580776724 ICS 25.040.01; 35.060 Compliance with a British Standard cannot confer immunity from legal obligations. This British Standard was published under the authority of the Standards Policy and Strategy Committeeon 31August 2012 Amendments issued sincepublication Amd. No. Date Text affected BSIEC62531:2012 IEC IEEE IEC62531 Edition2.0 2012-06 INTERNATIONAL IEEE Std 1850TM STANDARD PropertySpecificationLanguage(PSL) INTERNATIONAL ELECTROTECHNICAL COMMISSION XH PRICE CODE ICS 25.040; 35.060 ISBN 978-2-83220-106-0 Warning! Make sure that you obtained this publication from an authorized distributor.