Accelerating the world's research. Safety and liveness in concurrent pointer programs Joost-Pieter Katoen Formal Methods for Components and Objects Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers Beyond assertions: Advanced speciﬁcation and veriﬁcation with JML and ESC/Java2 Dermot Cochran Boogie: A modular reusable veriﬁer for object-oriented programs Bor-Yuh Evan Chang Open systems in reactive environments: Control and synthesis Moshe Vardi Download a PDF Pack of the best related papers 