Osnat Weissberg is an author at University of Haifa specializing in formal verification, program analysis, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2002–2022
3
3
A hybrid verification approach
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 36 citations
Rows per page
1–3 of 3