50 research outputs found
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
The design of embedded control systems is mainly done with model-based tools
such as Matlab/Simulink. Numerical simulation is the central technique of
development and verification of such tools. Floating-point arithmetic, that is
well-known to only provide approximated results, is omnipresent in this
activity. In order to validate the behaviors of numerical simulations using
abstract interpretation-based static analysis, we present, theoretically and
with experiments, a new partially relational abstract domain dedicated to
floating-point variables. It comes from interval expansion of non-linear
functions using slopes and it is able to mimic all the behaviors of the
floating-point arithmetic. Hence it is adapted to prove the absence of run-time
errors or to analyze the numerical precision of embedded control systems
ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools
Variations in the in sacco by product degradation in goats
International audienc
Étude du rôle de la paroi végétale sur la variabilité de la dégradation in sacco de la luzerne
International audienc
Étude du rôle de la paroi végétale sur la variabilité de la dégradation in sacco de la luzerne
Étude des paramètres de la dégradation dans le rumen des glucides pariétaux des aliments concentrés
International audienc
Influence de l'azote des constituants pariétaux sur la dégradabilité in sacco de l'azote des aliments
International audienc