Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search.

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan

Browse the full ESOP paper archive.