IEC IECTS 61508-3-2 Edition 1.02024-08 TECHNICAL SPECIFICATION Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation IEC TS 61508-3-2:2024-08(en THIS PUBLICATION IS COPYRIGHT PROTECTED Copyright @ 2024 IEC, Geneva, Switzerland or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either IEC or IEC's member National Committee in the country of the requester. If you have any questions about IEC copyright or have an enquiry about obtaining additional rights to this publication, piease contact the address below or your local IEC member National Committee for further information. IEC Secretariat Tel.: +41 22 919 02 11 3, rue de Varembé info@iec.ch CH-1211 Geneva 20 www.iec.ch Switzerland About the IEC The International Electrotechnical Commission (IEC) is the leading global organization that prepares and publishes International Standards for all electrical, electronic and related technologies. About IEC publications The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have the latest edition, a corrigendum or an amendment might have been published. IEc publications search - webstore.iec.ch/advsearchform IEC Products & Services Portal - products.iec.ch The advanced search enables to find IEc publications by a Discover our powerful search engine and read freely all the varietyof criteria (reference number, text, technical committee, ...). It also gives information on projects, replaced With a subscription you wili always have access to up to date and withdrawn publications. content tailored to your needs. IEC Just Published - webstore.iec.ch/justpublished Electropedia - www.electropedia.org Stay up to date on all new IEC publications. Just Published The world's leading online dictionary on electrotechnology, details all new publications released. Available online and once containing more than 22 500 terminological entries in English a month by email. and French, with equivalent terms in 25 additional languages. Also known as the International Electrotechnical Vocabulary IEc Customer Service Centre - webstore.iec.ch/csc (IEV) online. If you wish to give us your feedback on this publication or need further assistance, please contact the Customer Service Centre: sales@iec.ch. IEC IEC TS 61508-3-2 Edition 1.02024-08 TECHNICAL SPECIFICATION Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation INTERNATIONAL ELECTROTECHNICAL COMMISSION ICS 25.040.40 ISBN 978-2-8322-9565-6 Warning! Make sure that you obtained this publication from an authorized distributor. ?Registeredtrade koftheInternational ElectrotechnicalCommissior