Design Oriented Verification and Evaluation: The Dove Project

Abstract

DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2002
Accession Number
ADA410770

Entities

People

  • Brendan Mahony
  • Jim Mccarthy
  • Tony Cant

Organizations

  • Defence Science and Technology Group

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Debugging
  • Formal Languages
  • Grammars
  • Graphical User Interface
  • Information Science
  • Instructions
  • Materials
  • Notation
  • Operating Systems
  • Programming Languages
  • Standards
  • User Interface

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Mycotoxin ecology in Amazonian ecosystems.
  • Technical Research and Report Writing.