Go to main content

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / Alessandro Abate, Sylvie Boldo (eds.).

NSV (Workshop) (10th : 2017 : Heidelberg, Germany); Abate, Alessandro, editor.; Boldo, Sylvie, editor.
2017
QA76.76.V47
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / Alessandro Abate, Sylvie Boldo (eds.).
Meeting Name
NSV (Workshop) (10th : 2017 : Heidelberg, Germany)
ISBN
9783319635019 (electronic book)
3319635018 (electronic book)
9783319635002
331963500X
DOI
https://doi.org/10.1007/978-3-319-63501-9
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xxi, 115 pages) : illustrations.
Item Number
10.1007/978-3-319-63501-9 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
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 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.
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 21, 2017).
Added Author
Abate, Alessandro, editor.
Boldo, Sylvie, editor.
Series
Lecture notes in computer science ; 10381.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 331963500X
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export