NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Bounded Model Checking Techniques

Efficient verification by limiting exploration to execution paths of bounded length using SAT solvers and incremental checking.