NCC Group Research company blog
Software Verification and Analysis Using Z3
Cutting-edge cyber security research from NCC Group. Find public reports, technical advisories, analyses, & other novel insights from our global experts.
- Points
- 143
- HN comments
- 40
- Submissions
- 1
- Cited by
- 0 commenters
Security & PrivacySoftware Engineering2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 30, 2021 | Software Verification and Analysis Using Z3 by escriss | 143 | 40 |
