Accession Number:

ADA291279

Title:

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

Descriptive Note:

Final technical rept.,

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1994-05-31

Pagination or Media Count:

8.0

Abstract:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE