Automatic Verification and Synthesis of Finite-State Hard Real-Time Systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 31, 1994
Accession Number
ADA291279

Entities

People

  • David Dill

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Automatic
  • Availability
  • Classification
  • Computer Science
  • Contracts
  • Control Systems
  • Debugging
  • Military Research
  • Monitoring
  • Optical Scanning
  • Prototypes
  • Security
  • Specific Volume
  • Universities
  • Verification