NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Reasoning for Smart Contracts

Application of temporal logics and model checking to detect vulnerabilities and verify properties of Ethereum and blockchain contracts.