NTHRYS › PhD Assistance › Software Testing Verification

Software Testing Verification

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Model Checking Incomplete Specifications

Research on extending model checking techniques to handle partial, underspecified, and evolving system requirements.