Title: 25 Years Of Model Checking History Achievements Perspectives
Subjects: Logic design, Computer science, Software engineering, Computer systems, Verification, Informatique, Structure logique, Génie logiciel, Model Checking, Computer software, verification