Hardback
Add to list Added to list Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard,M. Bidoit,A. Finkel,F. Laroussinie
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal…
Available to order, ships in 7-14 daysAvailable to order