NTHRYS › PhD Assistance › Entrepreneurship Innovation

Entrepreneurship Innovation

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Symbolic Execution for Startup Business Logic Verification

Applying formal methods to verify correctness of startup business logic implementations and detect design flaws automatically.