Formal Methods

Research Frontiers in Termination and Liveness Analysis

Automated techniques for proving program termination and absence of infinite loops using well-founded orderings and ranking functions.

All Formal Methods PhD categories