The changing role of finite-state model checking
Summary
The article discusses the evolving role of finite-state model checking in the era of automated theorem proving, arguing that while symbolic model checking dominates, finite-state methods remain valuable for understandability and certain applications. It outlines future directions, including deterministic simulation testing and model-based testing, and highlights practical challenges in adopting these approaches for real-world systems.