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

Discover the essential guide for modern digital systems with "Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS" by Michael Yoeli, published by John Wiley & Sons Inc. In this comprehensive 248-page hardback, you'll find a step-by-step interactive introduction to the formal verification of systems and circuits, a crucial methodology in the face of today's complex parallel digital architectures. This book emphasizes the need for a formal approach to analysis and verification, equipping readers with knowledge of two robust analysis tool sets: LOTOS-based CADP and Petri-Net based PETRIFY. Ideal for students and professionals in computer engineering and software verification, this text serves as both a valuable resource and a practical guide to ensure the reliability of integrated circuits. Elevate your understanding of software engineering and circuit validation with this indispensable resource.