25 Years Of Model Checking History Achievements Perspectives
25 Years Of Model Checking History Achievements Perspectives
About this book
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.
Details
- OL Work ID
- OL17429864W
Subjects
Logic designComputer scienceSoftware engineeringComputer systemsVerificationInformatiqueStructure logiqueGénie logicielModel CheckingComputer software, verification