NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Program Invariant Discovery for Verification

Develops machine learning and statistical techniques to automatically discover loop and data invariants for formal verification.