Hierarchical verification environment

Authors:
Tony Cant;Brendan Mahony;Jim McCarthy;Linh Vu
Affiliations:
Information Networks Division, Defence Science and Technology Organisation, Edinburgh, South Australia;Information Networks Division, Defence Science and Technology Organisation, Edinburgh, South Australia;Information Networks Division, Defence Science and Technology Organisation, Edinburgh, South Australia;Information Networks Division, Defence Science and Technology Organisation, Edinburgh, South Australia
Venue:
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Year:
2006

Citing 5
Cited 1

The Z notation: a reference manual

The Z notation: a reference manual
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
The Cornell program synthesizer: a syntax-directed programming environment

Communications of the ACM
A Set-Theoretic Model for Real-Time Specification and Reasoning

MPC '98 Proceedings of the Mathematics of Program Construction
Requirements reformulation using formal specification: a case study

CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12

Formal modelling and analysis of mission-critical software in military avionics systems

SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes The HIVE (Hierarchical Verification Environment), currently under development by DSTO. The HIVE is a new approach to the development, evaluation and certification of complex critical systems. The HIVE aims to provide a unified framework in which entire design projects can be described.