Concepedia

Fady Copty

FC

1

Publications

25

Citations

1

H-Index

2003

Active since

Affiliations

Intel (United States)(Current)

Fady Copty is an author at Intel (United States) specializing in software verification, automated reasoning, and software testing.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Verification

Publications per year

2003–2003

1

Publications

1

Efficient debugging in a formal verification environment

Fady Copty, Amitai Irron, Osnat Weissberg et al. · International Journal on Software Tools for Technology Transfer · 2003 · 25 citations

Program Checking, Engineering, Runtime Verification +10

Rows per page

1–1 of 1