NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Invariant Generation and Inference Techniques

Development of automated techniques for discovering and verifying program invariants to support verification and testing activities.