The changing role of finite-state model checking (by ahelwer) — discussion

#formalmethods #testing