NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Parametric Verification and Parameterized Systems

Techniques for proving properties that hold for arbitrary numbers of processes or parameters without explicit enumeration.