BS ISO/IEC 23643:2020 PDF

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.

All current amendments available at time of purchase are included with the purchase of this document.

File Size :	1 file , 3.2 MB
ISBN(s) :	9780539033069
Note :	This product is unavailable in Russia, Ukraine, Belarus
Number of Pages :	40
Product Code(s) :	30388557, 30388557, 30388557
Published :	06/22/2020
Same As :	BS ISO/IEC 23643:2020