Modular verification of object-based programs: abstract of invited talk

Authors:
Anindya Banerjee
Affiliations:
IMDEA Software Institute, Madrid, Spain
Venue:
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Year:
2011

Citing 2
Cited 0

Regional Logic for Local Reasoning about Global Invariants

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Dynamic boundaries: information hiding by second order framing with first order assertions (ESOP invited lecture)

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We address two problems pertaining to the modular verification of object-based programs: (a) Procedure-modular reasoning for scalability and (b) Automation for scalability.