Using More Verification Cores

Experts at the Table, part 3: How has the software industry been dealing with parallelization. What can we learn from them and what can we teach them?