2 ms·Scaling symbolic evaluation for automated verification of systems code w/ Serval1 points by matt_d 7y ago