Active Bibliography

1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
243 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
381 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
48 Using data groups to specify and check side effects – K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou - 2002
181 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
32 Modular Data Structure Verification – Martin C. Rinard - 2007
5 Modular Verification of Global Module Invariants in Object-Oriented Programs – K. Rustan M. Leino, Peter Müller - 2004
44 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
38 Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
173 Verification of Object-Oriented Programs with Invariants – Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte - 2004
3 Reasoning about object structures using ownership – Peter Müller - 2005
9 Automatic Generation and Checking of Program Specifications – Jeremy W. Nimmer , Michael D. Ernst - 2001
56 Automatic Generation of Program Specifications – Jeremy W. Nimmer, Michael D. Ernst - 2002
56 Invariant Inference for Static Checking: An Empirical Evaluation – Jeremy W. Nimmer, Michael D. Ernst - 2002
37 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
245 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code – Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf - 2001
22 Extended Static Checking: a Ten-Year Perspective – K. Rustan M. Leino
6 An Overview of the Jahob Analysis System - Project Goals and Current Status – Viktor Kuncak, Martin Rinard - 2006
1 Data abstraction and information hiding – K. Rustan, M. Leino, Greg Nelson