skip to content
Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings Preview this item
ClosePreview this item
Checking...

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings

Author: N Shankar; Jim Woodcock
Publisher: Berlin : Springer, ©2008.
Series: LNCS sublibrary., SL 2,, Programming and software engineering.; Lecture notes in computer science., Lecture notes in artificial intelligence ;, 5295.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

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: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: (OCoLC)288568224
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: N Shankar; Jim Woodcock
ISBN: 9783540878728 3540878726 9783540878735 3540878734
OCLC Number: 259253621
Description: xii, 262 pages : illustrations ; 24 cm.
Contents: Keynote Talks (Abstracts).- Readable Formal Proofs.- From Verification to Synthesis.- Verification, Least-Fixpoint Checking, Abstraction.- Combining Tests and Proofs.- Logics.- Propositional Dynamic Logic for Recursive Procedures.- Mapped Separation Logic.- Unguessable Atoms: A Logical Foundation for Security.- Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.- Tools.- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.- Incremental Benchmarks for Software Verification Tools and Techniques.- Case Studies.- Verified Protection Model of the seL4 Microkernel.- Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.- Bounded Verification of Voting Software.- Methodology.- Expression Decomposition in a Rely/Guarantee Context.- A Verification Approach for System-Level Concurrent Programs.- Boogie Meets Regions: A Verification Experience Report.- Flexible Immutability with Frozen Objects.- Verisoft.- The Verisoft Approach to Systems Verification.- Formal Functional Verification of Device Drivers.- Verified Process-Context Switch for C-Programmed Kernels.- Paper from VSTTE 2005.- Where Is the Value in a Program Verifier?.
Series Title: LNCS sublibrary., SL 2,, Programming and software engineering.; Lecture notes in computer science., Lecture notes in artificial intelligence ;, 5295.
Other Titles: VSTTE 2008
Responsibility: Natarajan Shankar, Jim Woodcock (eds.).

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/259253621> # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "259253621" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/289796151#Place/berlin> ; # Berlin
   schema:about <http://dewey.info/class/005.14/e22/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
   schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/289796151#Topic/logiciels_verification> ; # Logiciels--Vérification
   schema:alternateName "VSTTE 2008" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/69020687> ; # Natarajan Shankar
   schema:contributor <http://viaf.org/viaf/145747617> ; # Jim Woodcock
   schema:copyrightYear "2008" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/289796151#Meeting/vstte_conference_2nd_2008_toronto_ont> ; # VSTTE (Conference) (2nd : 2008 : Toronto, Ont.)
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/289796151> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/289796151#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/289796151#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/289796151#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:isSimilarTo <http://www.worldcat.org/oclc/288568224> ;
   schema:name "Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings"@en ;
   schema:productID "259253621" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/259253621#PublicationEvent/berlin_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/289796151#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540878735> ;
   schema:workExample <http://worldcat.org/isbn/9783540878728> ;
   umbel:isLike <http://d-nb.info/990089436> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/259253621> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/289796151#Meeting/vstte_conference_2nd_2008_toronto_ont> # VSTTE (Conference) (2nd : 2008 : Toronto, Ont.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/289796151#Place/toronto_ont> ; # Toronto, Ont.)
   schema:name "VSTTE (Conference) (2nd : 2008 : Toronto, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/289796151#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/259253621> ; # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/289796151#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/259253621> ; # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/289796151#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/259253621> ; # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

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

<http://id.loc.gov/authorities/subjects/sh85029528> # Computer programs--Verification
    a schema:Intangible ;
   schema:name "Computer programs--Verification"@en ;
    .

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

<http://viaf.org/viaf/145747617> # Jim Woodcock
    a schema:Person ;
   schema:familyName "Woodcock" ;
   schema:givenName "Jim" ;
   schema:name "Jim Woodcock" ;
    .

<http://viaf.org/viaf/69020687> # Natarajan Shankar
    a schema:Person ;
   schema:familyName "Shankar" ;
   schema:givenName "Natarajan" ;
   schema:givenName "N." ;
   schema:name "Natarajan Shankar" ;
    .

<http://worldcat.org/isbn/9783540878728>
    a schema:ProductModel ;
   schema:isbn "3540878726" ;
   schema:isbn "9783540878728" ;
    .

<http://worldcat.org/isbn/9783540878735>
    a schema:ProductModel ;
   schema:isbn "3540878734" ;
   schema:isbn "9783540878735" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/259253621> ; # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/288568224>
    a schema:CreativeWork ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/259253621> ; # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/259253621>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/259253621> ; # Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
   schema:dateModified "2018-03-10" ;
   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.