NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Floating Point Arithmetic Verification

Rigorous analysis of numerical errors and rounding effects in floating-point computations for safety-critical applications.