Kaustubh Nimkar

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Multiresolution

Top Venues

Tiny Trans. Comput. Sci.

Publications

Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn
Embracing Overapproximation for Proving Nontermination. Tiny Trans. Comput. Sci. 3 (2015)
Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn
Disproving termination with overapproximation. FMCAD (2014)
Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving Non-termination Using Max-SMT. CAV (2014)
Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn
Proving Nontermination via Safety. TACAS (2014)