Z Support in the HiVe Mathematical Toolkit

Abstract

The HiVe project is an ambitious research programme aimed at providing DSTO and the Australian Defence Department with the world's most advanced assurance tools. A key part of this is the provision of advanced high assurance analysis tools in the form of the HiVe Modeller component. Formal specification and system modelling activities in the HiVe Modeller are supported through an Isabelle/HOL implementation of the HiVe Mathematical Toolkit. This report describes support for the Z Mathematical Toolkit within the HiVe Mathematical Toolkit.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2009
Accession Number
ADA504297

Entities

People

  • Brendan Mahony
  • Jim Mccarthy
  • Kylie Williams
  • Linh Vu

Organizations

  • Defence Science and Technology Group

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Arithmetic
  • Australia
  • Comprehension
  • Computer Programming
  • Computer Science
  • Computers
  • Embedding
  • Engineering
  • Environment
  • Identities
  • Language
  • Mathematical Models
  • Numbers
  • Sequences
  • Software Development
  • Standards

Readers

  • Computational Modeling and Simulation
  • Defense Acquisition Program Management
  • Fire Suppression Systems Design.