Accession Number:

ADA504297

Title:

Z Support in the HiVe Mathematical Toolkit

Descriptive Note:

Technical rept.

Corporate Author:

DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) COMMAND CONTROL COMMUNICATIONS AND INTELLIGENCE DIV

Report Date:

2009-03-01

Pagination or Media Count:

65.0

Abstract:

The HiVe project is an ambitious research programme aimed at providing DSTO and the Australian Defence Department with the worlds 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 IsabelleHOL implementation of the HiVe Mathematical Toolkit. This report describes support for the Z Mathematical Toolkit within the HiVe Mathematical Toolkit.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE