Verification of systems and circuits using LOTOS,petri nets, and CCS

Part of the Wiley Series on Parallel and Distributed Computing, Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS provides computer science students and practicing logic design engineers with a step-by-step interactive introduction to formal verification of systems and circuits. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY. The systems considered include: the alternating-bit protocol, arbiters, pipeline controllers, up-down counters, and phase converters.

• ISBN: 978-0-471-70449-2
• Editorial: John Wiley & Sons
• Encuadernacion: Cartoné
• Páginas: 160
• Fecha Publicación: 28/03/2008
• Nº Volúmenes: 1
• Idioma: Inglés