Abstract for TR-COSC 02/15 - Computer Science and Software Engineering - University of Canterbury - New Zealand

Abstract for TR-COSC 02/15

Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations

Walter Guttmann
Department of Computer Science and Software Engineering
University of Canterbury

Abstract

This technical report contains Isabelle/HOL theories that describe algebras for iteration, infinite executions and correctness of sequential computations. The results are explained in a separate document. The following files are available:
  • Phone: +64 3 364 2362
    Fax: +64 3 364 2569
    admin@cosc.canterbury.ac.nz
  • Computer Science and Software Engineering
    University of Canterbury
    Private Bag 4800, Christchurch
    New Zealand
  • Follow us
    FacebookYoutubetwitterLinked In