The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2004)
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISSN: 1530-2059
ISBN: 0-7695-2094-4
pp: 267-268
Richard C. Linger , Carnegie Mellon University
Mark G. Pleszkoch , Carnegie Mellon University
ABSTRACT
The function-theoretic view of programs suggests the possibility of automated calculation of program behavior. While significant theoretical challenges exist, the value of behavior calculation for high-assurance systems could be substantial.
INDEX TERMS
null
CITATION
Richard C. Linger, Mark G. Pleszkoch, "Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems", Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), vol. 00, no. , pp. 267-268, 2004, doi:10.1109/HASE.2004.1281753
99 ms
(Ver 3.3 (11022016))