NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Dataflow Analysis and Program Slicing

Formal techniques for computing data and control dependencies enabling program comprehension and minimization of verification scope.