219 32 5MB
Russian Pages 416 Year 2002
Report DMCA / Copyright
DOWNLOAD DJVU FILE
110 87 606KB Read more
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
323 17 14MB Read more
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and commu
299 68 3MB Read more
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of s
164 60 39MB Read more
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communi
349 106 12MB Read more
147 84 9MB Read more
266 47 9MB Read more
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023
159 38 6MB Read more
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN
342 11 5MB Read more