Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
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.
| Основен автор: | Yoeli, Michael, 1917- |
|---|---|
| Други автори: | Kol, Rakefet. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Hoboken, N.J. :
Wiley-Interscience,
℗♭2008.
|
| Серия: |
Wiley series on parallel and distributed computing.
|
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=225556 |
| Подобни документи: |
Print version::
Verification of systems and circuits using LOTOS, Petri Nets, and CCS. |
Съдържание:
- 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.