Multi-Prover Verification of Floating-Point Programs ⋆

Cached

Download Links

by Ali Ayad , Claude Marché
Citations:14 - 3 self

Documents Related by Co-Citation

14 J.C.: Formal Verification of Floating-Point Programs – S Boldo, Filliâtre - 2007
23 Specification of the IEEE-854 Floating-Point Standard in HOL and PVS – Victor A. Carreño, Paul S. Miner - 1995
21 Towards an industrial use of Fluctuat on safetycritical avionics software – David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine - 2009
11 Combining Coq and Gappa for Certifying Floating-Point Programs – Sylvie Boldo, Jean-christophe Filliâtre, Guillaume Melquiond - 2009
83 The Why/Krakatoa/Caduceus platform for deductive program verification – Jean-christophe Filliâtre, Claude Marché - 2007
287 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
63 The ASTRÉE analyzer – Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival - 2005
33 The pitfalls of verifying floating-point computations – David Monniaux
5 Self-Validated Numerical Methods and Applications. IMPA/CNPq, Rio de Janeiro – L H de Figueiredo, J Stolfi - 1997
51 Programming in Scala, A comprehensive step-by-step guide. Artima – M Odersky, L Spoon, B Venners - 2008
876 Interval Analysis – R E MOORE - 1966
342 What Every Computer Scientist Should Know About Floating-Point Arithmetic – David Goldberg - 1991
9 Verification methods: rigorous results using floating-point arithmetic – S M Rump - 2010
4 CC(X): Efficiently Combining Equality and Solvable Theories without Canonizers – S Conchon, E Contejean, J Kanig
448 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
4 Analyse statique : de la théorie à la pratique. Habilitation to direct research, Université Joseph Fourier – D Monniaux - 2009
3 Numerical Methods with Worked Examples, volume 2nd – C Woodford, C Phillips - 2012
4 Scientific Computing with MATLAB and Octave – A Quarteroni, F Saleri - 2006
4 Numerical stability analysis of floating-point computations using software model checking – F Ivancic, M K Ganai, S Sankaranarayanan, A Gupta - 2010