NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Memory Safety and Buffer Overflow Prevention

Formal methods for proving memory safety properties and preventing spatial and temporal memory access violations.