Concepedia

Fu-Chung Chen

FC

1

Publications

123

Citations

1

H-Index

1980

Active since

Affiliations

Intel (United States)(Current)

Fu-Chung Chen is an author at Intel (United States) specializing in system software, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsProcess ControlSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification

Publications per year

1980–1980

1

Publications

1

An Approach to Concurrent Control Flow Checking

Stephen S. Yau, Fu-Chung Chen · IEEE Transactions on Software Engineering · 1980 · 123 citations

Program Checking, Engineering, Verification +21

Rows per page

1–1 of 1