NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Asynchronous Message-Passing Protocol Verification

Formal analysis techniques for correctness of asynchronous distributed protocols with unbounded message buffers.