Computer systems - Handbooks, manuals, etc. - Verification

Handbook of model checking by: (Electronic resources)

Theory of Computation.

Mathematical Logic and Foundations.

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Computer systems- Verification

Performance and Reliability.

Computer Science.

Quality Control, Reliability, Safety and Risk.