skip to content
Partial order methods for the verification of concurrent systems an approach to the state explosion problem Preview this item
ClosePreview this item
Checking...

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

Author: Patrice Godefroid
Publisher: Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo Springer 1996
Series: Lecture notes in computer science, vol. 1032
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Patrice Godefroid
ISBN: 3540607617 9783540607618
OCLC Number: 722410005
Notes: Literaturverz. S. 133 - 142
Description: 142 S. graph. Darst. 24 cm
Contents: Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification of safety properties.- Model checking.- Experiments.- Conclusions.
Series Title: Lecture notes in computer science, vol. 1032
Responsibility: Patrice Godefroid
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/722410005> # Partial order methods for the verification of concurrent systems an approach to the state explosion problem
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "722410005" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/hong_kong> ; # Hong Kong
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/milan> ; # Milan
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/budapest> ; # Budapest
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/tokyo> ; # Tokyo
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/singapore> ; # Singapore
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/paris> ; # Paris
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/barcelona> ; # Barcelona
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/santa_clara> ; # Santa Clara
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866735272#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/ordre_partiel> ; # ordre partiel
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/parallelle_verwerking> ; # Parallelle verwerking
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/logiciels_verification> ; # Logiciels--Vérification
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/programmverifikation> ; # Programmverifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/verifikation> ; # Verifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/methode_verification> ; # méthode vérification
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/systeme_concurrent> ; # système concurrent
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/halbordnung> ; # Halbordnung
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/zustandsraum> ; # Zustandsraum
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/parallelisme_informatique> ; # Parallélisme (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/866735272#Topic/logiciels_essais> ; # Logiciels--Essais
   schema:about <http://dewey.info/class/005.2/> ;
   schema:author <http://viaf.org/viaf/64699743> ; # Patrice Godefroid
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866735272> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866735272#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Partial order methods for the verification of concurrent systems an approach to the state explosion problem" ;
   schema:productID "722410005" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/722410005#PublicationEvent/berlinheidelbergnew_yorkbarcelonabudapesthong_konglondonmilanparissanta_clarasingaporetokyospringer1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866735272#Agent/springer> ; # Springer
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540607618.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540607618> ;
   umbel:isLike <http://d-nb.info/946226563> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/722410005> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/722410005> ; # Partial order methods for the verification of concurrent systems an approach to the state explosion problem
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Topic/logiciels_verification> # Logiciels--Vérification
    a schema:Intangible ;
   schema:name "Logiciels--Vérification" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Topic/methode_verification> # méthode vérification
    a schema:Intangible ;
   schema:name "méthode vérification" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Topic/parallelisme_informatique> # Parallélisme (informatique)
    a schema:Intangible ;
   schema:name "Parallélisme (informatique)" ;
   schema:name "Parallélisme (Informatique)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Topic/parallelle_verwerking> # Parallelle verwerking
    a schema:Intangible ;
   schema:name "Parallelle verwerking" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
   schema:name "Programmverifikation" ;
    .

<http://experiment.worldcat.org/entity/work/data/866735272#Topic/systeme_concurrent> # système concurrent
    a schema:Intangible ;
   schema:name "système concurrent" ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)" ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification" ;
    .

<http://viaf.org/viaf/64699743> # Patrice Godefroid
    a schema:Person ;
   schema:familyName "Godefroid" ;
   schema:givenName "Patrice" ;
   schema:name "Patrice Godefroid" ;
    .

<http://worldcat.org/isbn/9783540607618>
    a schema:ProductModel ;
   schema:isbn "3540607617" ;
   schema:isbn "9783540607618" ;
    .

<http://www.worldcat.org/title/-/oclc/722410005>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/722410005> ; # Partial order methods for the verification of concurrent systems an approach to the state explosion problem
   schema:dateModified "2017-12-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/722410005#PublicationEvent/berlinheidelbergnew_yorkbarcelonabudapesthong_konglondonmilanparissanta_clarasingaporetokyospringer1996>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/budapest> ; # Budapest
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/singapore> ; # Singapore
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/paris> ; # Paris
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/berlin> ; # Berlin
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/tokyo> ; # Tokyo
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/hong_kong> ; # Hong Kong
   schema:location <http://dbpedia.org/resource/London> ; # London
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/santa_clara> ; # Santa Clara
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/heidelberg> ; # Heidelberg
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/milan> ; # Milan
   schema:location <http://experiment.worldcat.org/entity/work/data/866735272#Place/barcelona> ; # Barcelona
   schema:organizer <http://experiment.worldcat.org/entity/work/data/866735272#Agent/springer> ; # Springer
   schema:startDate "1996" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.