Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jean Gassino"'
Autor:
Hervé Delseny, Jean-Paul Blanquart, Philippe Quéré, Philippe Baufreton, Bertrand Ricque, Jean Gassino, Jean-Louis Camus, Jean-Louis Boulanger, Cyrille Comar, Emmanuel Ledinot
Publikováno v:
DSN Workshops
In a context where software is more and more pervasive in all systems, and where it is sometimes advocated that software complexity and size seem to provide some relevance to a probabilistic view of software behaviour, several initiatives suggest to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed67055fb2f82307e9c6a9210ca7411e
https://doi.org/10.1109/dsn-w.2016.19
https://doi.org/10.1109/dsn-w.2016.19
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783540797067
FMICS
FMICS
Finite precision computations can severely affect the accuracyof computed solutions. We present a complete survey of a static analysisbased on abstract interpretation, and a prototype implementing this analysisfor C code, for studying the propagation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38e8adc5e909356995ff752526c9dae7
https://doi.org/10.1007/978-3-540-79707-4_3
https://doi.org/10.1007/978-3-540-79707-4_3
