Volume 5, Issue 4

December 2011

Numerical Software Verification

Issue Editors:

7 articles in this issue

Foreword
Georgios Fainekos
Eric Goubault
Stefan Ratschan
EditorialNotes 04 December 2011 Pages: 357 - 358
Stochastic Arithmetic in Multiprecision
Stef Graillat
Fabienne Jézéquel
Yuxiang Zhu
OriginalPaper 17 November 2011 Pages: 359 - 375
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
Sylvie Boldo
Claude Marché
OriginalPaper 12 November 2011 Pages: 377 - 393
TASS: The Toolkit for Accurate Scientific Software
Stephen F. Siegel
Timothy K. Zirkel
OriginalPaper 15 November 2011 Pages: 395 - 426
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing
Stephen F. Siegel
Timothy K. Zirkel
OriginalPaper 15 November 2011 Pages: 427 - 435
A Validated Real Function Calculus
Pieter Collins
Milad Niqui
Nathalie Revol
OriginalPaper Open access 15 November 2011 Pages: 437 - 467
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata
Werner Damm
Carsten Ihlemann
Viorica Sofronie-Stokkermans
OriginalPaper 22 November 2011 Pages: 469 - 497

Search