A complete method for the synthesis of linear ranking functions A Podelski, A Rybalchenko International Workshop on Verification, Model Checking, and Abstract …, 2004 | 555 | 2004 |
Termination proofs for systems code B Cook, A Podelski, A Rybalchenko ACM Sigplan Notices 41 (6), 415-426, 2006 | 486 | 2006 |
Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001 | 464 | 2001 |
Transition invariants A Podelski, A Rybalchenko Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 386 | 2004 |
Towards a meaning of LIFE H Ait-Kaci, A Podelski The Journal of Logic Programming 16 (3-4), 195-234, 1993 | 386 | 1993 |
Model checking in CLP G Delzanno, A Podelski International Conference on Tools and Algorithms for the Construction and …, 1999 | 252 | 1999 |
ARMC: the logical choice for software model checking with abstraction refinement A Podelski, A Rybalchenko Practical Aspects of Declarative Languages: 9th International Symposium …, 2007 | 207 | 2007 |
Software model checking for people who love automata M Heizmann, J Hoenicke, A Podelski Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 202 | 2013 |
Terminator: Beyond Safety: (Tool Paper) B Cook, A Podelski, A Rybalchenko Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 189 | 2006 |
Proving program termination B Cook, A Podelski, A Rybalchenko Communications of the ACM 54 (5), 88-98, 2011 | 183 | 2011 |
A feature constraint system for logic programming with entailment H Aït-Kaci, A Podelski, G Smolka Theoretical Computer Science 122 (1-2), 263-283, 1994 | 180 | 1994 |
Abstraction refinement for termination B Cook, A Podelski, A Rybalchenko Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 150 | 2005 |
Transition predicate abstraction and fair termination A Podelski, A Rybalchenko ACM SIGPLAN Notices 40 (1), 132-144, 2005 | 144 | 2005 |
Proving that programs eventually do something good B Cook, A Gotsman, A Podelski, A Rybalchenko, MY Vardi ACM SIGPLAN Notices 42 (1), 265-276, 2007 | 138 | 2007 |
Nested interpolants M Heizmann, J Hoenicke, A Podelski ACM Sigplan Notices 45 (1), 471-482, 2010 | 136 | 2010 |
Refinement of trace abstraction M Heizmann, J Hoenicke, A Podelski International Static Analysis Symposium, 69-85, 2009 | 136 | 2009 |
Verification of cryptographic protocols: Tagging enforces termination B Blanchet, A Podelski Foundations of Software Science and Computation Structures: 6th …, 2003 | 128 | 2003 |
Relative completeness of abstraction refinement for software model checking T Ball, A Podelski, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002 | 125 | 2002 |
Constraint-based deductive model checking G Delzanno, A Podelski International Journal on Software Tools for Technology Transfer 3, 250-270, 2001 | 121 | 2001 |
Directed model checking with distance-preserving abstractions K Dräger, B Finkbeiner, A Podelski International Journal on Software Tools for Technology Transfer 11, 27-37, 2009 | 117 | 2009 |