External Source
Aws Re:inforce 2024 - Verifying Code Using Automated Reasoning (aps402)
Synopsis
In this session, AWS principal applied scientists discuss how they use automated reasoning to certify bug-free code ...
You Might Also Like
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.