Concepedia

Amitai Irron

AI

1

Publications

25

Citations

1

H-Index

2003

Active since

Affiliations

Intel (United States)(Current)

Amitai Irron is an author at Intel (United States) specializing in automated reasoning, engineering, and software verification.

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