skip to content
Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author: Alessandro Abate; Sylvie Boldo
Publisher: Cham, Switzerland : Springer, 2017.
Series: Lecture notes in computer science, 10381.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4  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: (OCoLC)992741540
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alessandro Abate; Sylvie Boldo
ISBN: 9783319635019 3319635018
OCLC Number: 994221463
Notes: International conference proceedings.
Description: 1 online resource (xxi, 115 pages) : illustrations.
Contents: Verified Computations using Taylor Models and Their Applications --
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic --
Formal Correctness of Comparison Algorithms between binary64 and decimal64 Floating-Point Numbers --
Sound Numerical Computations in Abstract Acceleration --
Studying the numerical quality of an industrial computing code: a case study on Code_Aster --
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees --
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models --
A Study of Model-Order Reduction Techniques for Verification.
Series Title: Lecture notes in computer science, 10381.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: NSV 2017
Responsibility: Alessandro Abate, Sylvie Boldo (eds.).

Abstract:

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

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/994221463> # Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "994221463" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:alternateName "NSV 2017" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4406242375#Meeting/nsv_workshop_10th_2017_heidelberg_germany> ; # NSV (Workshop) (10th : 2017 : Heidelberg, Germany)
    schema:datePublished "2017" ;
    schema:description "This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability."@en ;
    schema:description "Verified Computations using Taylor Models and Their Applications -- Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic -- Formal Correctness of Comparison Algorithms between binary64 and decimal64 Floating-Point Numbers -- Sound Numerical Computations in Abstract Acceleration -- Studying the numerical quality of an industrial computing code: a case study on Code_Aster -- Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees -- Rigorous Reachability Analysis and Domain Decomposition of Taylor Models -- A Study of Model-Order Reduction Techniques for Verification."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4406242375#Person/abate_alessandro> ; # Alessandro Abate
    schema:editor <http://experiment.worldcat.org/entity/work/data/4406242375#Person/boldo_sylvie> ; # Sylvie Boldo
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4406242375> ;
    schema:genre "Electronic books"@en ;
    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/4406242375#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4406242375#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://www.worldcat.org/oclc/992741540> ;
    schema:name "Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings"@en ;
    schema:productID "994221463" ;
    schema:url <http://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-3-319-63501-9> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-63500-2> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-63501-9> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-63501-9> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-63501-9> ;
    schema:workExample <http://worldcat.org/isbn/9783319635019> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-63501-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/994221463> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4406242375#Meeting/nsv_workshop_10th_2017_heidelberg_germany> # NSV (Workshop) (10th : 2017 : Heidelberg, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4406242375#Place/heidelberg_germany> ; # Heidelberg, Germany)
    schema:name "NSV (Workshop) (10th : 2017 : Heidelberg, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Person/abate_alessandro> # Alessandro Abate
    a schema:Person ;
    schema:familyName "Abate" ;
    schema:givenName "Alessandro" ;
    schema:name "Alessandro Abate" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Person/boldo_sylvie> # Sylvie Boldo
    a schema:Person ;
    schema:familyName "Boldo" ;
    schema:givenName "Sylvie" ;
    schema:name "Sylvie Boldo" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Place/heidelberg_germany> # Heidelberg, Germany)
    a schema:Place ;
    schema:name "Heidelberg, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/994221463> ; # Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/994221463> ; # Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/simulation_and_modeling> # Simulation and Modeling
    a schema:Intangible ;
    schema:name "Simulation and Modeling"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-319-63501-9>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/isbn/9783319635019>
    a schema:ProductModel ;
    schema:isbn "3319635018" ;
    schema:isbn "9783319635019" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/994221463> ; # Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/992741540>
    a schema:CreativeWork ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/994221463> ; # Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    .

<http://www.worldcat.org/title/-/oclc/994221463>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/994221463> ; # Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:dateModified "2017-09-20" ;
    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.