Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

by Yoeli, Michael

Type Book
Rate 0.0 /5

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.

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.

Summary

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.

Read More ↓

Edition Statements

  • Publication Date:©2008.

Publication Statements

  • Publisher(s):Wiley-Interscience
  • Place of Publication:Hoboken, N.J
  • Language:eng
  • Publication Date:©2008.

The Physical Object

  • Description:1 online resource (xv, 231 pages) : : illustrations

Edition Identifiers

  • ISBN:9780470253397, 0470253398, 9780470253410, 047025341X, 9786611284671, 6611284672
  • DOI:10.1002/9780470253410
  • oclc:ocn608623935
  • LC Classification:TK7874.58
  • Dewey Decimal:621.3815/48

Table of Contents

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.

Read More ↓

Subjects

Circuits intégrés -- Vérification Computer programs -- Verification Computer software -- Verification Integrated circuits -- Verification Logiciels -- Vérification LOTOS (Computer program language) LOTOS (Langage de programmation) Petri nets Réseaux de Pétri TECHNOLOGY & ENGINEERING -- Electronics

Writers

Yoeli, Michael Kol, Rakefet

More from this Series

  • Parallel combinatorial optimization

    cop. 2006.
    more →
    Parallel combinatorial optimization

  • Parallel combinatorial optimization

    ©2006.
    more →
    Parallel combinatorial optimization

  • Parallel combinatorial optimization

    2006
    more →
    Parallel combinatorial optimization

  • Parallel combinatorial optimization

    cop. 2006.
    more →
    Parallel combinatorial optimization

  • Parallel combinatorial optimization

    2006.
    more →
    Parallel combinatorial optimization

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Verification of Systems and Circuits Using LOTOS,…

    PDF · 857.3 KB · updated
    Login →

  • Verification of systems and circuits using LOTOS,…

    PDF · 1.8 MB · updated
    Login →
Log in to request a copy