The changing role of finite-state model checking

2 points | by fanf2 6 hours ago