NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Program Verification through Compiler-Generated Invariants

Techniques for automatically synthesizing loop invariants and other verification conditions during compilation for formal proof generation.