Software Verification and Analysis Using Z3research.nccgroup.com143 points·by escriss·vor 5 Jahren·40 comments