Automated Model−Based Verification of Object−Oriented Code

Samankaltaisia teoksia

• Automated Model−based Verification of Object−Oriented Code
  Tekijä: Ostroff, J, et al.
  Julkaistu: (2006)
• ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
  Tekijä: Ostroff, J, et al.
  Julkaistu: (2015)
• Deadlock Freedom Through Object Ownership
  Tekijä: Kerfoot, E, et al.
  Julkaistu: (2009)
• Verification of object-oriented software : the key approach /
  Tekijä: Beckert, Bernhard, et al.
  Julkaistu: (2007)
• Hardware verification with SystemVerilog : an object-oriented framework /
  Tekijä: 272566 Mintz, Mike, et al.
  Julkaistu: (2007)