Automated Model−Based Verification of Object−Oriented Code

Míreanna comhchosúla

• Automated Model−based Verification of Object−Oriented Code
  de réir: Ostroff, J, et al.
  Foilsithe / Cruthaithe: (2006)
• ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
  de réir: Ostroff, J, et al.
  Foilsithe / Cruthaithe: (2015)
• Deadlock Freedom Through Object Ownership
  de réir: Kerfoot, E, et al.
  Foilsithe / Cruthaithe: (2009)
• Harnessing the Power of Large Language Models for Automated Code Generation and Verification
  de réir: Unai Antero, et al.
  Foilsithe / Cruthaithe: (2024-09-01)
• Verification of object-oriented software : the key approach /
  de réir: Beckert, Bernhard, et al.
  Foilsithe / Cruthaithe: (2007)