Login

Kol, Rakefet

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Kol, Rakefet - Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, ebook

94,95€

Ebook, PDF with Adobe DRM
ISBN: 9780470253397
DRM Restrictions

Printing87 pages with an additional page accrued every 9 hours, capped at 87 pages
Copy to clipboard15 excerpts

This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. It presents theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets?based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.

Keywords: COMPUTERS / Computer Engineering COM059000

Author(s)
 
Publisher
John Wiley and Sons, Inc.
Publication year
2008
Language
en
Edition
1
Series
Wiley Series on Parallel and Distributed Computing
Page amount
290 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9780470253397
Printed ISBN
9780471704492

Similar titles