Abstract

Contents

  • Theory and techniques for building a basic program verifier for an object-based language
  • Specification style and encoding thereof