Logo
Login Sign Up
Current Revision

BSI BS ISO/IEC 23643:2020

Software and systems engineering. Capabilities of software safety and security verification tools
Best Price Guarantee
Instant

$336.38

2-5 Days

$336.38

SAVE 10%

$605.48


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


View in Library
or
British Standards Institution Logo

BSI BS ISO/IEC 23643:2020

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

PUBLISH DATE 2020
PAGES 40
BSI BS ISO/IEC 23643: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. 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.

SDO BSI: British Standards Institution
Document Number ISO/IEC 23643
Publication Date June 22, 2020
Language en - English
Page Count 40
Revision Level
Supercedes
Committee IST/15
Loading...

Failed to load document history.

Publish Date Document Id Type View