Using Simplex Method in Verifying Software Safety

Milena Vujošević-Janičić; Filip Marić; Dušan Tošić

Displaying similar documents to “Using Simplex Method in Verifying Software Safety”

Informal proofs formally checked by machine

Luigia Aiello, Mario Aiello, Giuseppe Attardi, Gianfranco Prini (1976)

Annales scientifiques de l'Université de Clermont. Mathématiques

Similarity:

Automatic differentiation platform : design

Christèle Faure (2002)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Similarity:

Automatic differentiation (AD) has proven its interest in many fields of applied mathematics, but it is still not widely used. Furthermore, existing numerical methods have been developed under the hypotheses that computing program derivatives is not affordable for real size problems. Exact derivatives have therefore been avoided, or replaced by approximations computed by divided differences. The hypotheses is no longer true due to the maturity of AD added to the quick evolution of machine...

Fast and correctly rounded logarithms in double-precision

Florent de Dinechin, Christoph Lauter, Jean-Michel Muller (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision. We describe the methodology used to achieve these goals in the library. There are two novel aspects to this approach. The first is the proof framework, and in general the techniques used to balance performance and provability. The second is the introduction of processor-specific optimization to get performance equivalent to the best...