Principles of model checking

Antzeko izenburuak

• Software verification and analysis an integrated, hands-on approach
  nork: Laski, Janusz
  Argitaratua: (2009)
• Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
  Argitaratua: (2011)
• Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.
  Argitaratua: (1993)
• HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
  Argitaratua: (2012)
• Program verification
  nork: Francez, Nissim
  Argitaratua: (1992)