NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Rewriting Logic for System Specification

Application of rewriting logic and term rewriting systems for modeling and verifying concurrent and distributed systems.