Principles of model checking

Podobne zapisy

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