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) : Dill, David

PDF Url : ADA291279

Report Date : 31 MAY 1994

Pagination or Media Count : 8

Descriptors :   *OPERATING SYSTEMS(COMPUTERS), *SYSTEMS ANALYSIS, *COMPUTER PROGRAM VERIFICATION, ALGORITHMS, SOFTWARE ENGINEERING, REAL TIME, APPROXIMATION(MATHEMATICS), AUTOMATIC, AUTOMATA, SYMBOLIC PROGRAMMING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE