Systems and Software Verification

Systems and Software Verification

Bokus

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic in...

1 541.00 kr

Liknande produkter