Active Bibliography

ACKNOWLEDGMENTS – Gogul Balakrishnan, Gogul Balakrishnan
To my beloved grandma Rajakrishnammal... – Gogul Balakrishnan - 2007
15 A Next-Generation Platform for Analyzing Executables – T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum - 2005
3023 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
21 Intermediate-Representation Recovery from Low-Level Code – Thomas Reps, Gogul Balakrishnan, Junghee Lim - 2006
43 Software Model Checking – Ranjit Jhala
424 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
26 Static Program Analysis via 3-Valued Logic – Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2004
39 A Decade of Software Model Checking with SLAM – Thomas Ball, Vladimir Levin, Sriram K. Rajamani