TY  - BOOK
AU  - Yoeli,Michael
AU  - Kol,Rakefet
TI  - Verification of systems and circuits using LOTOS, Petri Nets, and CCS
T2  - Wiley series on parallel and distributed computing
SN  - 9780470253397
AV  - TK7874.58 .Y64 2008eb
U1  - 621.3815/48 22
PY  - 2008///
CY  - Hoboken, N.J.
PB  - Wiley-Interscience
KW  - Integrated circuits
KW  - Verification
KW  - Computer software
KW  - LOTOS (Computer program language)
KW  - Petri nets
KW  - Computer programs
KW  - Circuits int�egr�es
KW  - V�erification
KW  - Logiciels
KW  - LOTOS (Langage de programmation)
KW  - R�eseaux de P�etri
KW  - TECHNOLOGY & ENGINEERING
KW  - Electronics
KW  - Circuits
KW  - Integrated
KW  - bisacsh
KW  - General
KW  - fast
N1  - Includes bibliographical references and index; VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS; CONTENTS; 1. Introduction; 2. Processes; 3. From Digital Hardware to Processes; 4. Introducing LOTOS; 5. Introducing Petri Nets; 6. Introducing CCS; 7. Verification of Modular Asynchronous Circuits; 8. Verification of Communication Protocols; 9. Verification of Arbiters; 10. More Verification Case Studies; 11. Guide to Further Studies; Index
N2  - A Step-by-Step Guide to Verification of Digital Systems. This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of
UR  - https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410
ER  -