Filter
Sökt på: Böcker av M. Bidoit
Filter
totalt 3 träffar
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 …
Systems and Software Verification
häftad,
2010,
Engelska,
ISBN 9783642074783
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a …
Systems and Software Verification
inbunden,
2001,
Engelska,
ISBN 9783540415237
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a …