An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain (via knl) — discussion

#distributed #formalmethods #practices