An introduction to formal program verification /

Benzer Materyaller

• Software verification and validation : realistic project approaches /
  Yazar:: Deutsch, Michael S.
  Baskı/Yayın Bilgisi: (1982)
• Computer aided verification : 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  Baskı/Yayın Bilgisi: (1993)
• The foundations of program verification /
  Yazar:: Loeckx, Jacques, 1931-
  Baskı/Yayın Bilgisi: (1984)
• Software validation, verification, testing, and documentation /
  Baskı/Yayın Bilgisi: (1986)
• Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
  Yazar:: Godefroid, Patrice
  Baskı/Yayın Bilgisi: (1996)