skip to content
Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers Preview this item
ClosePreview this item
Checking...

Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers

Author: Sandrine Blazy; Marsha Chechik
Publisher: Cham, Switzerland : Springer, 2016.
Series: Lecture notes in computer science, 9971.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of the art  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

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sandrine Blazy; Marsha Chechik
ISBN: 9783319488691 3319488694 3319488686 9783319488684
OCLC Number: 963931449
Description: 1 online resource (xiv, 199 pages) : illustrations.
Contents: Education --
requirements modeling --
specification languages --
specification/verification --
formal calculi --
software design methods --
automatic code generation --
refinement methodologies --
compositional analysis --
verification tools --
Tool integration --
Benchmarks --
Challenge problems --
Integrated verification environments.
Series Title: Lecture notes in computer science, 9971.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: VSTTE 2016
Responsibility: Sandrine Blazy, Marsha Chechik (eds.).

Abstract:

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016  Read more...

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/963931449> # Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "963931449" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3896445192#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/3896445192#Topic/computer_software_quality_control> ; # Computer software--Quality control
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3896445192#Topic/compilers_computer_programs> ; # Compilers (Computer programs)
    schema:alternateName "VSTTE 2016" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/3896445192#Meeting/vstte_conference_8th_2016_toronto_ont> ; # VSTTE (Conference) (8th : 2016 : Toronto, Ont.)
    schema:datePublished "2016" ;
    schema:description "Education -- requirements modeling -- specification languages -- specification/verification -- formal calculi -- software design methods -- automatic code generation -- refinement methodologies -- compositional analysis -- verification tools -- Tool integration -- Benchmarks -- Challenge problems -- Integrated verification environments."@en ;
    schema:description "This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/3896445192#Person/blazy_sandrine> ; # Sandrine Blazy
    schema:editor <http://experiment.worldcat.org/entity/work/data/3896445192#Person/chechik_marsha> ; # Marsha Chechik
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3896445192> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3896445192#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3896445192#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3896445192#CreativeWork/> ;
    schema:name "Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers"@en ;
    schema:productID "963931449" ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-48869-1> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-48869-1> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-48868-4> ;
    schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-319-48869-1> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-48868-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-48869-1> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-48869-1> ;
    schema:workExample <http://worldcat.org/isbn/9783319488684> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-48869-1> ;
    schema:workExample <http://worldcat.org/isbn/9783319488691> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/963931449> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3896445192#Meeting/vstte_conference_8th_2016_toronto_ont> # VSTTE (Conference) (8th : 2016 : Toronto, Ont.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3896445192#Place/toronto_ont> ; # Toronto, Ont.)
    schema:name "VSTTE (Conference) (8th : 2016 : Toronto, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Person/blazy_sandrine> # Sandrine Blazy
    a schema:Person ;
    schema:familyName "Blazy" ;
    schema:givenName "Sandrine" ;
    schema:name "Sandrine Blazy" ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Person/chechik_marsha> # Marsha Chechik
    a schema:Person ;
    schema:familyName "Chechik" ;
    schema:givenName "Marsha" ;
    schema:name "Marsha Chechik" ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Place/toronto_ont> # Toronto, Ont.)
    a schema:Place ;
    schema:name "Toronto, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/963931449> ; # Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#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/963931449> ; # Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Topic/compilers_computer_programs> # Compilers (Computer programs)
    a schema:Intangible ;
    schema:name "Compilers (Computer programs)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Topic/computer_software_quality_control> # Computer software--Quality control
    a schema:Intangible ;
    schema:name "Computer software--Quality control"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3896445192#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://worldcat.org/entity/work/data/3896445192#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/963931449> ; # Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
    .

<http://worldcat.org/isbn/9783319488684>
    a schema:ProductModel ;
    schema:isbn "3319488686" ;
    schema:isbn "9783319488684" ;
    .

<http://worldcat.org/isbn/9783319488691>
    a schema:ProductModel ;
    schema:isbn "3319488694" ;
    schema:isbn "9783319488691" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/963931449> ; # Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/963931449>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/963931449> ; # Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
    schema:dateModified "2018-01-05" ;
    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.