ISO/IEC 23643:2020 

Software and systems engineering - Capabilities of software safety and security verification tools

English
CHF 

Do you need a multi-user copy?

English
CHF 

Preview

Abstract

This document specifies requirements for the vendors and gives guidelines for both the users and the developers of software safety and security verification tools. The users of such tools include, but are not limited to, bodies performing verification and software developers who need to be aware and pay attention to safety and/or security of software. This document guides the verification tool vendors to provide as high-quality products as possible and helps the users to understand the capabilities and characteristics of verification tools.
This document introduces use cases for software safety and security verification tools and entity relationship model related to them. This document also introduces tool categories for software safety and security verification tools and gives category specific guidance and requirements for the tool vendors and developers.

Look inside


Additional information

Publication typeInternational Standard
Publication date2020-06-12
Edition1.0
Available language(s)English
TC/SCISO/IEC JTC 1/SC 7 - Software and systems engineeringrss
ICS35.080 - Software
Pages30
File size2189 KB

The following test report forms are related:



Share this page


Share your publications

Learn how to share your publications with your colleagues, using networking options.

Payment information

Our prices are in Swiss francs (CHF). We accept all major credit cards (American Express, Mastercard and Visa, JCB and CUP), PayPal and bank transfers as form of payment.


Keep in touch

Keep up to date with new publication releases and announcements with our free IEC Just Published email newsletter.

Contact customer services

Please send your enquiry by email or call us on +41 22 919 02 11 between 09:00 – 16:00 CET Monday to Friday.