Tag
An article examining the evolving role of finite-state model checking in computer science and software verification.