HOME > Detail View

Detail View

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem (Loan 2 times)

Material type
단행본
Personal Author
Godefroid, Patrice.
Title Statement
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.
Publication, Distribution, etc
Berlin ;   New York :   Springer,   c1996.  
Physical Medium
142 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science ;1032.
ISBN
3540607617 (Berlin : softcover : acid-free paper)
Bibliography, Etc. Note
Includes bibliographical references (p. [133]-142) and index.
Subject Added Entry-Topical Term
Parallel processing (Electronic computers). Computer software --Verification.
000 00944camuuu200265 a 4500
001 000000601527
003 OCoLC
005 19980825162257.0
008 951211s1996 gw a b 001 0 eng
010 ▼a 95051354
020 ▼a 3540607617 (Berlin : softcover : acid-free paper)
040 ▼a DLC ▼c DLC
049 ▼l 121035144 ▼f 과학
050 0 0 ▼a QA76.58 ▼b .G63 1996
082 0 0 ▼a 005.2 ▼2 20
090 ▼a 005.2 ▼b G581p
100 1 ▼a Godefroid, Patrice.
245 1 0 ▼a Partial-order methods for the verification of concurrent systems : ▼b an approach to the state-explosion problem / ▼c Patrice Godefroid.
260 ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1996.
300 ▼a 142 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science ; ▼v 1032.
504 ▼a Includes bibliographical references (p. [133]-142) and index.
650 0 ▼a Parallel processing (Electronic computers).
650 0 ▼a Computer software ▼x Verification.

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 G581p Accession No. 121035144 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.2 G581p Accession No. 151046134 Availability Available Due Date Make a Reservation Service M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 G581p Accession No. 121035144 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.2 G581p Accession No. 151046134 Availability Available Due Date Make a Reservation Service M

Contents information

Table of Contents

Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification of safety properties.- Model checking.- Experiments.- Conclusions.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Anson, Steve (2022)
한국. 행정안전부 (2022)
한국. 행정안전부 (2022)
황기태 (2021)