NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Requirement Formalization and Conflict Resolution

Automated techniques for translating natural language requirements into formal specifications and detecting conflicting constraints.