Modular Verification of Object-Based Programs
Abstract of Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7421)
We address two problems pertaining to the modular verification of object-based programs: (a) Procedure-modular reasoning for scalability and (b) Automation for scalability.
- 3.Banerjee, A., Naumann, D.A., Rosenberg, S.: Local reasoning for global invariants, part I: Region logic. Extended version of , available at  (July 2011)Google Scholar
- 4.Banerjee, A., Naumann, D.A.: Local reasoning for global invariants, part II: Dynamic Boundaries. Extended version of , available at  (July 2011)Google Scholar
- 5.Verl: VErifier for Region Logic. Software distribution, http://www.cs.stevens.edu/~naumann/pub/VERL/
© Springer-Verlag Berlin Heidelberg 2012