NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Specification Mining from Execution Traces

Automated inference of formal specifications and temporal properties from system execution logs and behavioral traces.