3 ms·Much smaller state space so a much easier problem than formally verifying software.by rkangel 10y agoMuch smaller state space so a much easier problem than formally verifying software.