0262032708 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > HIDE COVERS - ASIN Title: Model Checking Author: Edmund M. Clarke Jr. Description: Product Description Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional ... (more) Wishlists: This book is on several wishlists: Darius Bacon (USA: CA), JJ (USA: IN), Jessica J (USA: IN). Available: No copies available WISHLIST ADD + SAVE FOR LATER + AMAZON > RECOMMEND > DETAIL > Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >