Filter
Sökt på: Sökresultat
Filter
1 träff
Systems and Software Verification
E-bok,
2013,
Engelska,
ISBN 9783662045589
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via …