Yarden Livant is an author at University of Utah specializing in formal verification, parallel computing, and software testing.
Top concepts
EngineeringFormal MethodsFault ToleranceSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingCluster ComputingHardware SecuritySoftware Analysis
Publications per year
2021–2021
1
1
Understanding a program's resiliency through error propagation
Zhimin Li, Harshitha Menon, Kathryn Mohror et al. · 2021 · 18 citations
Rows per page
1–1 of 1