BS IS0/IEC 23643:2020 BSl Standards Publication Software and systems engineering Capabilities of software safety and security verification tools bsi. BSIS0/IEC23643:2020 BRITISH STANDARD National foreword This British Standard is the UK implementation of IS0/IEC 23643:2020 The UK participation in its preparation was entrusted to Technical Committee IST/15, Software and systems engineering. 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 2020 Published by BSI Standards Limited 2020 ISBN9780539033069 ICS35.080 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 Committee on 30 June 2020. Amendments/corrigenda issued since publication Text affected Date BS IS0/IEC 23643:2020 ISO/IEC INTERNATIONAL 23643 STANDARD First edition 2020-06 Software and systems engineering Capabilities of software safety and security verification tools Ingenierie du logiciel et des systemes - Capacités des outils de vérification de la sureté et de la sécurite des logiciels Reference number IS0/IEC 23643:2020(E) IEC ISO @IS0/IEC2020