• There are no items in your cart

BS ISO/IEC 23643:2020

Current

Current

The latest, up-to-date edition.

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

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

06-22-2020

This document specifies requirements for the vendors and gives guidelines for both the users and the developers of software safety and security verification tools.

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.

Committee
IST/15
DocumentType
Standard
ISBN
9780539033069
Pages
40
PublisherName
British Standards Institution
Status
Current

Standards Relationship
ISO/IEC 23643:2020 Identical

View more information
US$261.13
Excluding Tax where applicable

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.