Kaustubh Nimkar

According to our database, Kaustubh Nimkar authored at least 4 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Embracing Overapproximation for Proving Nontermination.

Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn

Tiny Trans. Comput. Sci., 2015

2014

Proving Nontermination via Safety.

Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Disproving termination with overapproximation.

Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Proving Non-termination Using Max-SMT.

Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Computer Aided Verification - 26th International Conference, 2014