Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Separation Logic and Memory Reasoning

Development of logics for verifying programs with dynamic memory allocation and heap manipulation through local reasoning principles.