NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Timed Systems and Real-Time Properties

Formal verification of timing constraints and real-time properties in systems with explicit clock variables and deadline requirements.