NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Reachability Analysis and Control Flow

Automated techniques for determining all possible program states reachable from initial conditions and detecting unreachable code.