range-analysis

There are 0 repository under range-analysis topic.

• arpra-project / arpra

  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

  scientific-computingarbitrary-precisionrange-analysisnumerical-analysismpfraffine-arithmeticstatic-analysis
  Language:C 23

• lem2clide / Range-analysis-experiments

  Value Range Analysis Experiments

  range-analysisstatic-code-analysisvalue-range-analysisstatic-analysis
  Language:Python