Model checking 0262032708, 9780262032704, 9780585385587

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

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

112 87 606KB Read more

Model Checking [2 ed.] 0262038838, 9780262038836

323 17 14MB 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

Handbook of Model Checking [1st ed. 2018] 3319105744, 9783319105741

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transiti

115 110 8MB 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

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings 303067066X, 9783030670665

108 11 27MB Read more