NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Partial Order Reduction for State Space Exploration

Advanced techniques for reducing state space explosion in concurrent systems through partial order reduction methods.