Formal Verification of Object-Oriented Software

  • Bernhard Beckert Ferruccio Damiani Dilian Gurov
  • Published 2011 in Lecture Notes in Computer Science
  • DOI:10.1007/978-3-642-31762-0
s of Invited Talks Local Reasoning for Verification of Object-Based Programs Using First-Order Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Anindya Banerjee Using Kilim’s Isolation Types for Multicore Efficiency . . . . . . . . . . . . . . . . . 1 Alan Mycroft The Practical Application of Formal… CONTINUE READING