We need your consent to use the individual data so that you can see information about your interests, among other things. Click "OK" to give your consent.
Software and systems engineering - Capabilities of software safety and security verification tools
Translate name
STANDARD published on 12.6.2020
Designation standards: ISO/IEC 23643-ed.1.0
Publication date standards: 12.6.2020
SKU: NS-996960
The number of pages: 30
Approximate weight : 90 g (0.20 lbs)
Country: International technical standard
Category: Technical standards ISO
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.
Do you want to make sure you use only the valid technical standards?
We can offer you a solution which will provide you a monthly overview concerning the updating of standards which you use.
Would you like to know more? Look at this page.
Latest update: 2026-05-24 (Number of items: 2 279 951)
© Copyright 2026 NORMSERVIS s.r.o.