Software Tools for Formal Specification and Verification of Distributed Real-Time Systems

Abstract

The goals of Phase 1 are to design in detail a toolkit environment based on formal methods for the specification and verification of distributed real-time systems and to evaluate the design. The evaluation of the design includes investigation of both the capability and potential usefulness of the toolkit environment and the feasibility of its implementation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 29, 1994
Accession Number
ADA283477

Entities

People

  • B. Kim
  • I. Lee
  • Jin Joo Choi

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Broadcasting
  • Command And Control
  • Communication Channels
  • Communication Systems
  • Computations
  • Computer Programs
  • Computers
  • Graphical User Interface
  • Language
  • Mathematical Models
  • Models
  • Notation
  • Simulations
  • Specifications
  • Standards
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.