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

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

112 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 [2 ed.] 0262038838, 9780262038836

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

I.D. Checking Guide 2021 [2021 ed.]

2021 ID Checking Guide United States & Canada Edition

2,822 493 161MB 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

Concise Guide to Software Testing 9783030284947, 9783030284930

119 114 Read more

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking [1 ed.] 0750679492, 9780750679497

As systems being developed by industry and government grow larger and more complex, the need for superior specification

420 88 5MB Read more