---

Verification by theorem proving: issues and challenges

• Provisional extended abstract
  (warning: written in a hurry before the talk was prepared)
  [ postscript | tex ]

• Revised and corrected version of the talk given at CAV 2003
  [ postscript (for fullscreen GSview) | pdf (for fullscreen acroread) ]

---