Model Checking [2 ed.] 0262038838, 9780262038836

Верификация программ методом model checking

110 87 606KB Read more

Model checking 0262032708, 9780262032704, 9780585385587

Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important s

380 31 2MB Read more

Model checking 9780262032704, 0-262-03270-8

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and commu

299 68 3MB Read more

Concise Guide to Software Verification : From Model Checking to Annotation Checking 9783031301674, 9783031301667

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of s

164 60 39MB Read more

Верификация моделей программ: Model Checking 5-94057-054-2

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и п

302 30 5MB Read more

Model Checking Quantum Systems: Principles and Algorithms 9781108484305, 1108484301

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communi

349 106 12MB Read more

Concise Guide to Software Verification: From Model Checking to Annotation Checking [1 ed.] 3031301668, 9783031301667, 9783031301674, 9783031301698

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of s

147 84 9MB Read more

Model Checking Quantum Systems: Principles and Algorithms 9781108484305, 9781108613323, 2020041998, 2020041999

266 47 9MB Read more

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings 3031321561, 9783031321566

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023

159 38 6MB Read more

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings [1 ed.] 9783642026515, 3642026516

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN

342 11 5MB Read more