NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Modular Deductive Verification and Proof Automation

Techniques for decomposing large-scale software verification into modular proof obligations with automated solver assistance.