Principles of model checking

相似書籍

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