skip to content
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 Preview this item
ClosePreview this item
Checking...

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

Author: Jean-Charles Grégoire; Gerard J Holzmann; Doron A Peled
Publisher: Providence, R.I. : American Mathematical Society, ©1997.
Series: DIMACS series in discrete mathematics and theoretical computer science, v. 32.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Kongreß
Conference papers and proceedings
Rutgers (NJ, 1996)
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Jean-Charles Grégoire; Gerard J Holzmann; Doron A Peled
ISBN: 0821806807 9780821806807
OCLC Number: 36201609
Notes: Workshop held at Rutgers Univ. in New Brunswick, N.J.
Description: xii, 203 pages : illustrations ; 26 cm.
Contents: Foreword / Fred S. Roberts, Bernard Chazelle and Stephen R. Mahaney --
Preface / Jean-Charles Gregoire, Gerard J. Holzmann and Doron A. Peled --
State space compression with graph encoded sets / J.-Ch. Gregoire --
Not checking for closure under stuttering / Gerard J. Holzmann and Orna Kupferman --
On nested depth first search / Gerard J. Holzmann, Doron Peled and Mihalis Yannakakis --
Modelling and analysis of a collision avoidance protocol using SPIN and UPPAAL / Henrik Ejersbo Jensen, Kim G. Larsen and Arne Skou --
The application of PROMELA and SPIN in the BOS project / Pim Kars --
Implementing and verifying MSC specifications using PROMELA/XSPIN / Stefan Leue and Peter B. Ladkin.
Series Title: DIMACS series in discrete mathematics and theoretical computer science, v. 32.
Responsibility: Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.

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/36201609> # The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "36201609" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865165829#Place/providence_r_i> ; # Providence, R.I.
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/spin> ; # Spin
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/modeles_mathematiques_congres> ; # Modèles mathématiques--Congrès
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/logiciels_verifications_congres> ; # Logiciels--Vérifications--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#CreativeWork/spin_computer_file> ; # SPIN (Computer file)
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/simulation_methodes_de_congres> ; # Simulation, Méthodes de--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/graphes_theorie_des_congres> ; # Graphes, Théorie des--Congrès
    schema:about <http://id.worldcat.org/fast/1387358> ; # SPIN (Computer file)
    schema:about <http://dewey.info/class/005.276/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/verifikation> ; # Verifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/865165829#Topic/kongress> ; # Kongress
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/5080653> ; # Gerard J. Holzmann
    schema:contributor <http://viaf.org/viaf/85346726> ; # Doron A. Peled
    schema:contributor <http://viaf.org/viaf/104653246> ; # Jean-Charles Grégoire
    schema:copyrightYear "1997" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/865165829#Meeting/workshop_on_the_spin_verification_system_2nd_1996_rutgers_university> ; # Workshop on the SPIN Verification System (2nd : 1996 : Rutgers University)
    schema:datePublished "1997" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/865165829> ;
    schema:genre "Rutgers (NJ, 1996)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongreß"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1052-1798> ; # DIMACS series in discrete mathematics and theoretical computer science ;
    schema:name "The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996"@en ;
    schema:productID "36201609" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/36201609#PublicationEvent/providence_r_i_american_mathematical_society_1997> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/865165829#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:workExample <http://worldcat.org/isbn/9780821806807> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/36201609> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/865165829#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#CreativeWork/spin_computer_file> # SPIN (Computer file)
    a schema:CreativeWork ;
    schema:name "SPIN (Computer file)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Meeting/workshop_on_the_spin_verification_system_2nd_1996_rutgers_university> # Workshop on the SPIN Verification System (2nd : 1996 : Rutgers University)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/865165829#Place/rutgers_university> ; # Rutgers University)
    schema:name "Workshop on the SPIN Verification System (2nd : 1996 : Rutgers University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Place/rutgers_university> # Rutgers University)
    a schema:Place ;
    schema:name "Rutgers University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Topic/graphes_theorie_des_congres> # Graphes, Théorie des--Congrès
    a schema:Intangible ;
    schema:name "Graphes, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Topic/logiciels_verifications_congres> # Logiciels--Vérifications--Congrès
    a schema:Intangible ;
    schema:name "Logiciels--Vérifications--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Topic/modeles_mathematiques_congres> # Modèles mathématiques--Congrès
    a schema:Intangible ;
    schema:name "Modèles mathématiques--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/865165829#Topic/simulation_methodes_de_congres> # Simulation, Méthodes de--Congrès
    a schema:Intangible ;
    schema:name "Simulation, Méthodes de--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1387358> # SPIN (Computer file)
    a schema:CreativeWork ;
    schema:name "SPIN (Computer file)" ;
    .

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

<http://viaf.org/viaf/104653246> # Jean-Charles Grégoire
    a schema:Person ;
    schema:birthDate "1960" ;
    schema:familyName "Grégoire" ;
    schema:givenName "Jean-Charles" ;
    schema:name "Jean-Charles Grégoire" ;
    .

<http://viaf.org/viaf/5080653> # Gerard J. Holzmann
    a schema:Person ;
    schema:familyName "Holzmann" ;
    schema:givenName "Gerard J." ;
    schema:name "Gerard J. Holzmann" ;
    .

<http://viaf.org/viaf/85346726> # Doron A. Peled
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Peled" ;
    schema:givenName "Doron A." ;
    schema:name "Doron A. Peled" ;
    .

<http://worldcat.org/isbn/9780821806807>
    a schema:ProductModel ;
    schema:isbn "0821806807" ;
    schema:isbn "9780821806807" ;
    .

<http://worldcat.org/issn/1052-1798> # DIMACS series in discrete mathematics and theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/36201609> ; # The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
    schema:issn "1052-1798" ;
    schema:name "DIMACS series in discrete mathematics and theoretical computer science ;" ;
    schema:name "DIMACS series in discrete mathematics and theoretical computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/36201609>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/36201609> ; # The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
    schema:dateModified "2017-12-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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