Comentr
$5_ucSBaA9d
log in
sign up
Technology
Join this community
Share Community
Report Community
4
Report
What4: A library to help build verification and program analysis tools
3 years ago
Anonymous
$qOHwDUKgAF
https://galois.com/blog/2020/07/what4-new-library-to-help-devs-build-verification-program-tools/
×
Save changes
Cancel
0
Comments
8
Voters
×
Comment
Comment Anonymously
0
Sorted By
Score
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
80
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel