Concepedia

Osnat Weissberg

OW

1

Publications

25

Citations

1

H-Index

2003

Active since

Affiliations

Israel Electric (Israel)(Current)

Osnat Weissberg is an author at Israel Electric (Israel) specializing in engineering, formal methods, 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