NTHRYS › PhD Assistance › Distributed Systems

Distributed Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Distributed Protocol Verification and Model Checking

Research on formal verification methods for proving correctness of distributed protocols under all possible executions.