P1012/D20, May 2024 - IEEE Draft Standard for System, Software, and Hardware Verification and Validation | IEEE Standard | IEEE Xplore