Function extraction (FX) technology: automated calculation of program behavior for high-assurance systems

Authors:
Richard C. Linger;Mark G. Pleszkoch
Affiliations:
CERT Research Center, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA;IBM Global Services & CERT Research Center, Software Engineering Institute, Carnegie Mellon University
Venue:
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Year:
2004

Citing 3
Cited 0

Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
Using Function Abstraction to Understand Program Behavior

IEEE Software
Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior

HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9 - Volume 9

Quantified Score

Hi-index	0.00

Visualization

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.